Back to App Installations list

Lean4

9.7k

Lean 4 programming language and theorem prover

github.com/leanprover/lean4

Install Lean4 with one command

Fresh Ubuntu/Debian server, 2 GB RAM, 1 CPU at least.

Success rate100.0%
Deploys1
Errors0
Warnings1
Deploys per week
2
Week 44

Based on 2 deploys recorded in the last 1 week. The totals above cover the last 365 days.

Known issues & fixes

ProblemWhereCountStatus

No results match your search.