1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
arend 1.5.0-1 0 0.00 Proof assistant based on Homotopy Type Theory knisht

1 package found. Page 1 of 1.