1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
lean2-git 0.2.3-1 0 0.00 Lean Theorem Prover 2 sayantankhan

1 package found. Page 1 of 1.