Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lean-generalisation
alexjbest/lean-generalisation
Lean
Emerging
GitHub
Stars
5
Forks
1
Contributors
1
Last push
29mo ago
Recent commits
Latest commits.
del
b883819
Alex J Best
29mo ago
Update upgrade_lean.yml
400060b
Alex J Best
42mo ago
auto update dependencies
643c5fa
leanprover-community-bot
48mo ago
auto update dependencies
12b6e38
leanprover-community-bot
48mo ago
auto update dependencies
316982a
leanprover-community-bot
48mo ago
auto update dependencies
3149bc9
leanprover-community-bot
48mo ago
auto update dependencies
16b12e2
leanprover-community-bot
48mo ago
auto update dependencies
225cf8c
leanprover-community-bot
48mo ago
Top contributors
Builders behind this project.
alexjbest
57 commits
