Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more - View it on GitHub