Sign in
proofs-talk.
Code and slides from the talk "Introduction to Theorem Proving in Lean"
github.com/skaslev/proofs-talk
by
@skaslev
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
