Skip to content

Release with MIT license

Choose a tag to compare

View all tags
@womeier womeier released this 14 Nov 17:42
· 21 commits to master since this release
v0.2.0
2e35f83

cleanup, move to coq-community, move to MIT license

Assets 2
Loading