Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Lean
lean4-example
Fork of https://github.com/yangky11/lean4-example
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
2
Last push
26mo ago
Recent commits
Latest commits.
Update Lean4Example.lean
be5ee51
AG161
26mo ago
Merge branch 'yangky11:main' into main
637069d
AG161
26mo ago
bump
3f8c5eb
Kaiyu Yang
27mo ago
bump
493cff3
Kaiyu Yang
27mo ago
bump lean-toolchain
04e2917
Kaiyu Yang
28mo ago
Update gitignore for .lake
ab4e133
Peiyang-Song
29mo ago
Update gitignore
b09e433
Peiyang-Song
29mo ago
Update Lean4Example.lean
bd4ef71
AG161
29mo ago
Top contributors
Builders behind this project.
AG161
6 commits
Peiyang-Song
2 commits
