relation-algebra - Relation Algebra 1.7.11, for Coq 8.20

compatibility with Coq 8.20

- Coq
Published by damien-pous over 1 year ago

relation-algebra - Relation Algebra 1.7.10, for Coq 8.18

compatibility with Coq 8.18

- Coq
Published by damien-pous over 2 years ago

relation-algebra - Relation Algebra 1.7.9, for Coq 8.17

Compatibility with Coq 8.17

- Coq
Published by damien-pous almost 3 years ago

relation-algebra - Relation Algebra 1.7.8, for Coq 8.16

• compatibility with Coq 8.16
• minor fixes, including w.r.t. licensing issues

- Coq
Published by damien-pous over 3 years ago

relation-algebra - Relation Algebra 1.7.7, for Coq 8.15

• compatibility with Coq 8.15
• model of setoid-preserving heterogeneous relations

- Coq
Published by damien-pous almost 4 years ago

relation-algebra - Relation Algebra 1.7.6, for Coq 8.14

compatibility with Coq 8.14 support for idempotency when used in combination with coq-aac-tactics

- Coq
Published by damien-pous over 4 years ago

relation-algebra - Relation Algebra 1.7.5, for Coq 8.13

compatibility with Coq 8.13

- Coq
Published by damien-pous about 5 years ago

relation-algebra - Relation Algebra 1.7.4, for Coq 8.11 & 8.12

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

- Coq
Published by damien-pous over 5 years ago

relation-algebra - Relation Algebra 1.7.3, for Coq 8.11

compatibility with Coq 8.11

- Coq
Published by damien-pous almost 6 years ago

relation-algebra - Relation Algebra 1.7.2, for Coq 8.10

compatibility with Coq 8.10

- Coq
Published by damien-pous almost 6 years ago

relation-algebra - Relation Algebra 1.7.1, for Coq 8.9

• Compatibility with Coq 8.9

- Coq
Published by chdoc about 7 years ago

relation-algebra - Relation Algebra 1.7, for Coq 8.8.2

• compatiblity with Coq 8.8.2 (intermediate versions for Coq 8.6 and 8.7 can be found on github)
• unicode notations (i.e., "x ≡ y", "x ≦ y", "x⋅y")
• support heterogeneous relations on large types (outside [Set])
• [fhrel]: heterogeneous relations between finite types (available if coq-mathcomp-ssreflect is present [optional dependency])

- Coq
Published by chdoc about 7 years ago

relation-algebra - Relation Algebra 1.6, for Coq 8.5pl1

- Coq
Published by damien-pous almost 10 years ago

relation-algebra - Relation Algebra 1.5, for Coq 8.5

- Coq
Published by damien-pous almost 10 years ago

relation-algebra - Relation Algebra 1.4, for Coq 8.5

- Coq
Published by damien-pous about 10 years ago