Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more
Tag: Coq
The Linux Portal Site
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