-
Notifications
You must be signed in to change notification settings - Fork 201
Pull requests: leanprover/cslib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
refactor(Circuit): preserve intermediate synthesis targets
#935
opened Sep 22, 2026 by
SamuelSchlesinger
Collaborator
Loading…
ci: auto-resolve lakefile.toml when merging main into the bump branch
#931
opened Sep 21, 2026 by
jessealama
Contributor
Loading…
chore(Foundations): move RelatesInSteps to Relation folder
#926
opened Sep 19, 2026 by
thomaskwaring
Collaborator
Loading…
feat(Complexity): Query Complexity of Boolean Functions (aka Decision…
#923
opened Sep 18, 2026 by
Lsonic233
Contributor
Loading…
feat(Language): characterizing regular languages as preimages of subsets of finite monoids
#921
opened Sep 18, 2026 by
ctchou
Collaborator
Loading…
refactor: correct para_open_out variable orientation
#920
opened Sep 18, 2026 by
lengyijun
Contributor
Loading…
feat(LambdaCalculus): write
mapVal in terms of List.map; add similar lemmas
#919
opened Sep 17, 2026 by
pepamontero
Loading…
1 task
style(LambdaCalculus): unused variables and other small fixes in Context.lean
#918
opened Sep 17, 2026 by
pepamontero
Loading…
ci(Dependabot): Distinguish major version bumps from minor/patch bumps
#917
opened Sep 17, 2026 by
jessealama
Contributor
Loading…
ci(nightly-testing): guard the bump-branch steps when the nightly bump branch exists
#914
opened Sep 16, 2026 by
jessealama
Contributor
Loading…
ci: bump the actions group across 1 directory with 5 updates
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#912
opened Sep 16, 2026 by
dependabot
Bot
Loading…
ci: declare shell: bash as the workflow default so every run step gets pipefail
#911
opened Sep 16, 2026 by
jessealama
Contributor
Loading…
ci: cancel superseded PR runs of Lean Action CI
#908
opened Sep 15, 2026 by
jessealama
Contributor
Loading…
chore: Bump
mathlib dependency to 54faafd
#905
opened Sep 14, 2026 by
mathlib-nightly-testing
Bot
Loading…
feat(CCS/VendingMachine): add HML specification for the CCS vending machine
logic
process calculi
#904
opened Sep 14, 2026 by
fmontesi
Collaborator
Loading…
feat(MultiTapeTM): loglogn_equals_no_space
#901
opened Sep 12, 2026 by
barni120400
Contributor
Loading…
feat(Computability/Languages): regular languages have matching regular expressions through Kleene’s Algorithm
#887
opened Sep 8, 2026 by
chiyunhsu
Contributor
Loading…
ci(weekly-lints): fail on a missing lint report and post a notice to Zulip
#886
opened Sep 8, 2026 by
jessealama
Contributor
Loading…
feat(MultiTapeTM): the identity is computable in linear time and zero space
#885
opened Sep 8, 2026 by
crei
Collaborator
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.