Sign in
Rare find
zero-to-qed.
From Zero to QED: An informal introduction to formality with Lean 4
github.com/sdiehl/zero-to-qed
by
@sdiehl
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
