2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
lean2-git 0.2.3-1 0 0.00 Lean Theorem Prover 2 sayantankhan 2017-03-13 17:28 (UTC)
lean-display-manager 1.0-1 0 0.00 Lean Display Manager valkheim 2018-10-19 20:13 (UTC)

2 packages found. Page 1 of 1.