Skip to content

Pull requests: leanprover/cslib

New pull request New
124 Open 665 Closed
124 Open 665 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: cancel superseded PR runs of Lean Action CI
#908 opened Sep 15, 2026 by jessealama Contributor Loading…
chore: Bump mathlib dependency to 78f7ceb
#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
4
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
ci: add Dependabot config for actions and pip
#895 opened Sep 11, 2026 by jessealama Contributor Loading…
ci: pin zulip in a requirements file
#894 opened Sep 11, 2026 by jessealama Contributor Loading…
chore(PFunctor): drop simp tags from non-universe generic bind lemma
#893 opened Sep 10, 2026 by dtumad Loading…
1
ci: lint workflow files with actionlint
#892 opened Sep 10, 2026 by jessealama Contributor Loading…
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
ci(nightly-testing): pass ZULIP_API_KEY through env instead of interpolating into script text
#889 opened Sep 9, 2026 by jessealama Contributor Loading…
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
feat(LocallyNameless): FullBetaEta, Normal.sup_iff
#862 opened Sep 4, 2026 by lengyijun Contributor Loading…
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.