Skip to content

v0.9.2 for Coq 8.5

Choose a tag to compare

View all tags
@gmalecha gmalecha released this 11 Feb 22:32
· 20 commits to v8.5 since this release
v0.9.2
ea6b280

Release for 8.5 release

Assets 2
Loading