Skip to content

Relation Algebra 1.7.7, for Coq 8.15
Compare
Choose a tag to compare
@damien-pous damien-pous released this 22 Mar 15:58
· 1 commit to v8.15 since this release
v.1.7.7
0dbc1e5
  • compatibility with Coq 8.15
  • model of setoid-preserving heterogeneous relations
Assets 2
Loading