Coq Version 8.0pl3
-
Più
Coq 8.1
Coq Version 8.0pl3 - Commerciale -Coq Version 8.0pl3 is a powerful software application designed for interactive theorem proving. Developed by the Coq development team, this program is widely used in the field of formal methods and computer science to assist … Altre informazioni ...