2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
arend 1.5.0-1 0 0.00 Proof assistant based on Homotopy Type Theory knisht 2020-10-10 11:27 (UTC)
jape 9.0.9-1 3 0.00 A configurable, graphical proof assistant. przemub 2020-09-30 23:00 (UTC)

2 packages found. Page 1 of 1.