Sign in
skills.
Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
github.com/leanprover/skills
by
@leanprover
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
