/lean

Lean Theorem Prover

Primary LanguageC++Apache License 2.0Apache-2.0

Watchers