no-witness-labs/formal_verification_lean4_course
GitHub repository with 9 stars and 6 forks.
Language: Lean
24h trend summary
Trending score 0.82, freshness score 0.36, stars gained +1, forks gained +1.
Latest metric snapshot
2026-06-15: 9 stars and 6 forks.