Releases: snu-sf/promising-coq
Releases · snu-sf/promising-coq
Port to Coq 8.8
v1.1.3 Port to Coq 8.8
Port to Coq 8.7
Port to Coq 8.7
Migrate to Coq 8.6
v1.1.1 Update README
Prove correspondence to a declarative presentation
v1.1.0 Add paper information in README
Initial Release
v1.0.0 Add .gitmodules