Skip to content

Relation Algebra 1.7.4, for Coq 8.11 & 8.12

Compare
Choose a tag to compare
@damien-pous damien-pous released this 20 Oct 12:13

compatibility with Coq 8.12
optional dependency on coq-aac-tactics