PLUGIN 0 upvotes 31

Skills

Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more

by leanprover View Source

Tags

community