3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
lean-git 3.4.1.r4.gb13ac127f-1 4 0.00 Lean Theorem Prover mgrabovsky 2018-09-21 20:32 (UTC)
lean-bin 3.4.2-1 4 0.00 Lean Theorem Prover orphan 2019-02-01 18:28 (UTC)
lean 4.13.0-2 0 0.00 Lean 4 programming language and theorem prover daskol 2024-11-30 17:56 (UTC)

3 packages found. Page 1 of 1.