Skip to content

Relation Algebra 1.7.9, for Coq 8.17

Compare
Choose a tag to compare
@damien-pous damien-pous released this 17 Mar 11:41
· 12 commits to master since this release

Compatibility with Coq 8.17