2 Search Results
coq
Formal proof management system
8.15.2
LGPL-2.1-only
Used by 4 other packages
coqide
IDE of the Coq formal proof management system
8.15.2
LGPL-2.1-only
Used by 0 other packages