nixpkgs / coqPackages.equations - A plugin for Coq to add dependent pattern-matching

Homepage - https://mattam82.github.io/Coq-Equations/

Maintainers - John Wiegley

Releases

1.2.4+coq8.13 (expand/collapse)
From commit 02c142a2 to 00460bd6
1.2.3 (expand/collapse)
From commit 074ef76e to 074ef76e
1.2.4+coq8.13 (expand/collapse)
From commit 04855119 to 07557e3b
1.2.4+coq8.11 (expand/collapse)
From commit 065a8102 to 065a8102
1.2.4+coq8.13 (expand/collapse)
From commit 044053e2 to 04de1306
1.2.3 (expand/collapse)
From commit 03582eb6 to 03582eb6
1.2.4+coq8.13 (expand/collapse)
From commit 035434d8 to 062e1e59
1.2.4+coq8.11 (expand/collapse)
From commit 03c09257 to 03c09257
1.2.4+coq8.13 (expand/collapse)
From commit 037e5170 to 075953b7
1.2.3 (expand/collapse)
From commit 05065605 to 05065605
1.2.4+coq8.13 (expand/collapse)
From commit 0391ca2b to 01dc2d9c
1.2.4+coq8.11 (expand/collapse)
From commit 074b608d to 074b608d
1.2.4+coq8.13 (expand/collapse)
From commit 0326ec60 to 07e4cbde
1.2.4+coq8.11 (expand/collapse)
From commit 0432a816 to 0432a816
1.2.4+coq8.13 (expand/collapse)
From commit 07d9edea to 03108183
1.2.4+coq8.11 (expand/collapse)
From commit 07bb1100 to 07bb1100
1.2.4+coq8.13 (expand/collapse)
From commit 04af4657 to 060286eb
1.2.4+coq8.11 (expand/collapse)
From commit 04991f2e to 021813a4
1.2.3 (expand/collapse)
From commit 045a4797 to 045a4797
1.2.4+coq8.11 (expand/collapse)
From commit 03e50cf1 to 00fe2670
1.2.3 (expand/collapse)
From commit 064e0af8 to 064e0af8
1.2.4+coq8.11 (expand/collapse)
From commit 004e80f8 to 0139874d
1.2.3 (expand/collapse)
From commit 04f094a1 to 04f094a1
1.2.4+coq8.11 (expand/collapse)
From commit 00da8a02 to 01940a73
1.2.3 (expand/collapse)
From commit 06749ba3 to 02085112
1.2.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
1.2.3 (expand/collapse)
From commit 015c5a2b to 0096eb92
1.2.1 (expand/collapse)
From commit 00347e95 to 00347e95
1.2.3 (expand/collapse)
From commit 063c756b to 00946dc2
1.2.1 (expand/collapse)
From commit 00d8c11a to 00d8c11a
1.2.3 (expand/collapse)
From commit 0620184f to 03197f94
1.2.1 (expand/collapse)
From commit 02626990 to 02626990
1.2.3 (expand/collapse)
From commit 049c0c52 to 02ee8250
1.2.1 (expand/collapse)
From commit 066544a7 to 016dad9d
1.2 (expand/collapse)
From commit 05a16be9 to 05a16be9
1.2.1 (expand/collapse)
From commit 049b68be to 0456d939
1.2 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
1.2.1 (expand/collapse)
From commit 0482656c to 008e7e32
1.2 (expand/collapse)
From commit 0577b994 to 0577b994
1.2.1 (expand/collapse)
From commit 05683ace to 01aec5f3
1.2 (expand/collapse)
From commit 0218f30a to 018aadcf
1.0 (expand/collapse)
From commit 0767de3d to 0767de3d
1.2 (expand/collapse)
From commit 0281599a to 00610756
1.2beta2 (expand/collapse)
From commit 071a4db3 to 071a4db3
1.2 (expand/collapse)
From commit 046390bf to 0732203c
1.2beta2 (expand/collapse)
From commit 02d79ced to 02d79ced
1.2 (expand/collapse)
From commit 03d3ed3e to 03d3ed3e
1.2beta2 (expand/collapse)
From commit 003b42f3 to 07bbae0b
1.0 (expand/collapse)
From commit 057016a2 to 057016a2
1.2beta2 (expand/collapse)
From commit 03d6c406 to 0512f90e
1.0 (expand/collapse)
From commit 0412ee2a to 0412ee2a
1.2beta2 (expand/collapse)
From commit 01d06dc3 to 05c1addd
1.0 (expand/collapse)
From commit 071167e6 to 071167e6
1.2beta2 (expand/collapse)
From commit 03be5e7a to 03f48ebe
1.0 (expand/collapse)
From commit 00972dc8 to 00972dc8
1.2beta2 (expand/collapse)
From commit 00263c93 to 03a32ec6
1.0 (expand/collapse)
From commit 00a52224 to 00a52224
1.2beta2 (expand/collapse)
From commit 02ea1812 to 02ea1812
1.0 (expand/collapse)
From commit 03b9bc9e to 03c07393