Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more
The Linux Portal Site
Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more