Skip to content

Relation Algebra 1.7.8, for Coq 8.16
Compare
Choose a tag to compare
@damien-pous damien-pous released this 08 Sep 14:39
· 18 commits to master since this release
v.1.7.8
567ff37
  • compatibility with Coq 8.16
  • minor fixes, including w.r.t. licensing issues
Assets 2
Loading