Hosted on Codeberg
On GitGem
Written in Lean.
It has been tracked on GitGem.org since June 15, 2026. It has 1 star and 1 fork, with its most recent commit 24 days ago.
See the Lean trending boardStars
1
Forks
1
Open Issues
0
Language
Lean
License
None
Last Commit
3w ago
Comments
No comments yet. Be the first!
You will sign in with GitHub to post. Your draft is kept.