-
Notifications
You must be signed in to change notification settings - Fork 197
Pull requests: leanprover/cslib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(MultiTapeTM): TransformsTapes interface and sequential composition
#897
opened Sep 11, 2026 by
crei
Collaborator
Loading…
ci: add Dependabot config for actions and pip
#895
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…
feat(Circuit): prove Shannon lower bound
#891
opened Sep 10, 2026 by
SamuelSchlesinger
Collaborator
Loading…
feat(Circuit): prove Lupanov upper bound
#890
opened Sep 10, 2026 by
SamuelSchlesinger
Collaborator
Loading…
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…
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…
feat(Foundations/Relation/Confluence): generalize results from confluence to commutation
#880
opened Sep 7, 2026 by
thomaskwaring
Collaborator
Loading…
feat(Crypto): define PRGs and their security definition
#876
opened Sep 5, 2026 by
SamuelSchlesinger
Collaborator
Loading…
feat(Algorithms/CCS): Diffie-Hellman protocol in Stateful Processes
#865
opened Sep 4, 2026 by
fmontesi
Collaborator
Loading…
feat(LocallyNameless): FullBetaEta, Normal.sup_iff
#862
opened Sep 4, 2026 by
lengyijun
Contributor
Loading…
feat(MachineLearning/PACLearning): realizable distribution family
#858
opened Sep 3, 2026 by
LibertasSpZ
Loading…
feat(MultiTapeTM): Any function constant with finitely many exceptions is computable in constant time and space
#854
opened Sep 2, 2026 by
crei
Collaborator
Loading…
refactor(locallynameless): remove
HasFresh
#852
opened Sep 2, 2026 by
lengyijun
Contributor
Loading…
refactor(Computability): remove h_mono from PolyTimeComputable.comp
#845
opened Aug 28, 2026 by
BoltonBailey
Contributor
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.