 Source: cirosantilli/lean-proof-assistant

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

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

 Back to article page