-
Notifications
You must be signed in to change notification settings - Fork 160
Pull requests: leanprover/cslib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(LocallyNameless/Untyped): rm
eta_subst_fvar
#667
opened Jun 20, 2026 by
lengyijun
Contributor
Loading…
feat(LocallyNameless/Untyped):
subst_intro weaker precondition
#666
opened Jun 20, 2026 by
lengyijun
Contributor
Loading…
chore: adaptations for nightly-2026-06-19
#665
opened Jun 19, 2026 by
mathlib-nightly-testing
Bot
Loading…
feat(Logics/Modal): refactor formula primitives to {atom, bot, imp, box}
#662
opened Jun 19, 2026 by
benbrastmckie
Loading…
feat: basic defs of collections of labelled transition systems
#661
opened Jun 18, 2026 by
Shreyas4991
Contributor
•
Draft
feat(Logics/LTL): LTL formula type and semantics over omega-words
#649
opened Jun 15, 2026 by
benbrastmckie
Loading…
feat(Logics/Propositional): five-primitive formula type with primitive bot
#648
opened Jun 14, 2026 by
benbrastmckie
Loading…
chore: Bump
mathlib dependency to c9ba310
#645
opened Jun 13, 2026 by
mathlib-nightly-testing
Bot
Loading…
feat(Automata, LTS, and Turing): saturated multistep transitions, mapLabel for LTS, and Nondeterministic Turing Machines (NTM)
#615
opened Jun 4, 2026 by
fmontesi
Collaborator
Loading…
feat(FLP): some technical machineries for reasoning about diamond and fairness properties
#612
opened Jun 1, 2026 by
ctchou
Collaborator
Loading…
feat(Algorithms/Lean/MergeSort): relate mergeSort to List.mergeSort
#605
opened May 28, 2026 by
exekis
Loading…
feat(Control/Monad): Weakest preconditions and mcvgen for free monads
#604
opened May 28, 2026 by
tannerduve
Contributor
Loading…
feat(LTS): labeled transition systems as coalgebras
#603
opened May 28, 2026 by
tannerduve
Contributor
Loading…
feat(Foundations/Combinatorics/BooleanFunctions): Fourier expansion, Plancherel, and Parseval
#596
opened May 23, 2026 by
SamuelSchlesinger
Collaborator
Loading…
feat(Computability): introduce TapeEncodable class for Turing machine types
#591
opened May 21, 2026 by
Sfgangloff
Loading…
feat(Foundations/Logic): Notation typeclasses and models
#587
opened May 21, 2026 by
thomaskwaring
Collaborator
•
Draft
feat: parallel substitution typeclass; refactor strong normalization
#583
opened May 20, 2026 by
WegmannDavid
Contributor
Loading…
feat(Crypto): Generalize encryption schemes over arbitrary monads
#581
opened May 20, 2026 by
dtumad
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.