Coq Version 8.0pl3
-
More
Coq 8.1
Coq Version 8.0pl3 - Commercial -Coq 8.0pl3 enhances the capabilities of formal verification with an extensive theorem proving environment but may pose a steep learning curve for beginners. more info...