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