coq
Description Formal proof management system
Licenses:
GPL
Repository: extra
Compare
Version: 8.16.1-1
Download Size: 184.4 MB
https://coq.inria.fr/
Installing:
pamac
install coq
Removing:
pamac
remove coq