2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
lean-git 3.4.1.r4.gb13ac127f-1 4 0.00 Lean Theorem Prover mgrabovsky
lean-bin 3.4.2-1 5 0.11 Lean Theorem Prover mgrabovsky

2 packages found. Page 1 of 1.