Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Other
cslib
The Lean Computer Science Library (CSLib)
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
2mo ago
Recent commits
Latest commits.
feat: TimeM is a LawfulMonad (#316)
9afdb6a
Burkhardt Renz
4mo ago
feat(Foundations/Semantics/ReductionSystem): extend `ReductionSystem` (#304)
da56240
Iván Renison
4mo ago
chore: migrate nightly-testing workflows to GitHub App (#314)
b2e8d7c
Kim Morrison
4mo ago
chore: `lake update` for 2026-02-02 (#313)
1be2b5c
Chris Henson
4mo ago
feat: copilot instructions (#310)
5e1873f
Fabrizio Montesi
5mo ago
chore: simplify the connection between `HasFresh` and `Infinite` (#303)
b91aeb4
Chris Henson
5mo ago
feat: add linear logic tests/benchmark (#302)
8a926ae
Alexandre Rademaker
5mo ago
feat: prepare for proving the closure of omega-regular languages under complementation (#268)
08b04ca
Ching-Tsun Chou
5mo ago
Top contributors
Builders behind this project.
fmontesi
174 commits
chenson2018
72 commits
kim-em
33 commits
ctchou
18 commits
jessealama
9 commits
kckennylau
6 commits
euprunin
6 commits
tristan-f-r
5 commits
