Skip to content

v0.9.5 (coq.8.6)

Choose a tag to compare

View all tags
@gmalecha gmalecha released this 06 Jan 03:11
· 5 commits to v8.6 since this release
v0.9.5
5d19dff

Bug fix release for compatibility with Coq 8.6.

Assets 2
Loading