Coq Version 8.0pl3
-
Több
Coq 8.1
Coq Version 8.0pl3 - Kereskedelmi -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 … további infó...