Coq Version 8.0pl3
-
더
Coq 8.1
Coq Version 8.0pl3 - 상업용 -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 … 더 많은 정보 ...