/lean

Lean 3 Theorem Prover (community fork)

Primary LanguageC++Apache License 2.0Apache-2.0

Stargazers