Skip to content

Pull requests: leanprover/cslib

New pull request New
124 Open 673 Closed
124 Open 673 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

ci(Dependabot): Distinguish major version bumps from minor/patch bumps
#917 opened Sep 17, 2026 by jessealama Contributor Loading…
chore: bump toolchain to v4.35.0-rc2
#916 opened Sep 16, 2026 by Garmelon 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…
1
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…
2
chore: Bump mathlib dependency to fcabd43
#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(Language): characterizing regular languages using syntactic monoids
#903 opened Sep 14, 2026 by ctchou Collaborator Loading…
@eric-wieser
5
feat(MultiTapeTM): loglogn_equals_no_space
#901 opened Sep 12, 2026 by barni120400 Contributor Loading…
feat(MultiTapeTM): input shortening
#900 opened Sep 12, 2026 by barni120400 Contributor Loading…
feat: Cobham Function Algebra
#899 opened Sep 11, 2026 by BoltonBailey Contributor • Draft
feat(MultiTapeTM): TransformsTapes interface and sequential composition
#897 opened Sep 11, 2026 by crei Collaborator Loading…
9
chore(PFunctor): drop simp tags from non-universe generic bind lemma
#893 opened Sep 10, 2026 by dtumad Loading…
1
feat(Circuit): prove Shannon lower bound
#891 opened Sep 10, 2026 by SamuelSchlesinger Collaborator Loading…
17
feat(Circuit): prove Lupanov upper bound
#890 opened Sep 10, 2026 by SamuelSchlesinger Collaborator Loading…
28
feat(Automata): Two-way automata accept exactly the regular languages
#888 opened Sep 9, 2026 by crei Collaborator Loading…
26
feat(Computability/Languages): regular languages have matching regular expressions through Kleene’s Algorithm
#887 opened Sep 8, 2026 by chiyunhsu Contributor Loading…
10
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…
5
feat(LTL): Linear Temporal Logic
#884 opened Sep 8, 2026 by fmontesi Collaborator • Draft
feat(MultiTapeTM): concatenate the outputs of two machines
#877 opened Sep 7, 2026 by crei Collaborator • Draft
feat(Crypto): define PRGs and their security definition
#876 opened Sep 5, 2026 by SamuelSchlesinger Collaborator Loading…
4
feat(Algorithms/CCS): Diffie-Hellman protocol in Stateful Processes
#865 opened Sep 4, 2026 by fmontesi Collaborator Loading…
@XYUnknown
feat(Logic): General Modal Logic logic
#863 opened Sep 4, 2026 by fmontesi Collaborator Loading…
@XYUnknown @thomaskwaring
2
ProTip! Updated in the last three days: updated:>2026-09-14.