lean-proof-assistant

= Lean
{disambiguate=proof assistant}
{c}
{tag=Microsoft product}
{tag=Open source software}
{wiki}

* https://github.com/leanprover/lean
* https://github.com/leanprover/lean4

Back to article page