2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
agda-git 2.5.1.r5471.51914041f-2 1 0.02 A dependently typed functional programming language and proof assistant: development version johngowers
cmll 0.9e-1 0 0.00 A TeX package to write Linear Logic symbols johngowers

2 packages found. Page 1 of 1.