leanprover-community

Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover