Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
sdiehl
Fetched on 2026/03/14 03:14
sdiehl
/
zero-to-qed
From Zero to QED: An informal introduction to formality with Lean 4 -
View it on GitHub
https://sdiehl.github.io/zero-to-qed/
Star
101
Rank
301978
