GitHub
Formally Verified Arguments of Knowledge in Lean
On GitGem
Written in Lean, licensed under Apache-2.0.
It gained 1 star in the past week, about 1 a day. It has been tracked on GitGem.org since June 28, 2026.
See the Lean trending boardStars
8
Forks
7
Open Issues
5
Language
Lean
License
Apache-2.0
Last Commit
12h ago
Comments
No comments yet. Be the first!
You will sign in with GitHub to post. Your draft is kept.