/lean3

Lean Theorem Prover

Primary LanguageC++Apache License 2.0Apache-2.0