nixpkgs / coqPackages.coq-ext-lib - A collection of theories and plugins that may be useful in other Coq developments

Homepage - https://github.com/coq-ext-lib/coq-ext-lib

Maintainers - John Wiegley - Valentin Robert

Outputs

out (expand/collapse)

Releases

0.11.4 (expand/collapse)
From commit 00460bd6 to 00460bd6
0.11.3 (expand/collapse)
From commit 039e3758 to 039e3758
0.11.4 (expand/collapse)
From commit 01d55988 to 021410c0
0.11.3 (expand/collapse)
From commit 0465cd73 to 0465cd73
0.11.4 (expand/collapse)
From commit 058e0d67 to 052b553a
0.11.3 (expand/collapse)
From commit 0585e3db to 04f95964
0.11.4 (expand/collapse)
From commit 04efd289 to 075c4922
0.11.3 (expand/collapse)
From commit 05ca995e to 04cded5c
0.11.2 (expand/collapse)
From commit 06c0f165 to 06c0f165
0.11.3 (expand/collapse)
From commit 06749ba3 to 075da392
0.11.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
0.11.3 (expand/collapse)
From commit 05524ddf to 0096eb92
0.11.2 (expand/collapse)
From commit 01f5b9aa to 01f5b9aa
0.11.3 (expand/collapse)
From commit 043c667f to 0541cdf0
0.11.2 (expand/collapse)
From commit 023dafc6 to 011d5940
0.11.3 (expand/collapse)
From commit 0309973b to 0309973b
0.11.2 (expand/collapse)
From commit 015c5a2b to 06f096ad
0.11.1 (expand/collapse)
From commit 00347e95 to 00347e95
0.11.2 (expand/collapse)
From commit 063c756b to 00946dc2
0.11.1 (expand/collapse)
From commit 00d8c11a to 00d8c11a
0.11.2 (expand/collapse)
From commit 0620184f to 03197f94
0.11.1 (expand/collapse)
From commit 02626990 to 02626990
0.11.2 (expand/collapse)
From commit 05a4dc3c to 02ee8250
0.11.1 (expand/collapse)
From commit 07ca64c4 to 07ca64c4
0.11.2 (expand/collapse)
From commit 06db9d9f to 02d852fd
0.11.1 (expand/collapse)
From commit 019b21c4 to 019b21c4
0.11.2 (expand/collapse)
From commit 003fa57c to 003fa57c
0.11.1 (expand/collapse)
From commit 01740090 to 020a2121
0.10.3 (expand/collapse)
From commit 07bd8938 to 07bd8938
0.11.1 (expand/collapse)
From commit 0521dc3f to 037c91b1
0.10.3 (expand/collapse)
From commit 00afca09 to 00afca09
0.11.1 (expand/collapse)
From commit 04037d1e to 03fb78e8
0.10.3 (expand/collapse)
From commit 017926a8 to 017926a8
0.11.1 (expand/collapse)
From commit 03fbecff to 01e352ac
0.10.3 (expand/collapse)
From commit 05a9b7fe to 05a9b7fe
0.11.1 (expand/collapse)
From commit 05a564d4 to 05b68368
0.10.3 (expand/collapse)
From commit 0218f30a to 0141cfef
0.9.8 (expand/collapse)
From commit 0767de3d to 0767de3d
0.10.3 (expand/collapse)
From commit 0634484a to 00610756
0.10.1 (expand/collapse)
From commit 036cef94 to 010d2f4a
0.10.3 (expand/collapse)
From commit 004634a2 to 016111e8
0.10.1 (expand/collapse)
From commit 00cdf80d to 00cdf80d
0.10.3 (expand/collapse)
From commit 02f869ff to 02553c11
0.10.1 (expand/collapse)
From commit 04f3bc51 to 04f3bc51
0.10.3 (expand/collapse)
From commit 0646b9f7 to 069364f3
0.10.1 (expand/collapse)
From commit 069e9fd4 to 069e9fd4
0.10.3 (expand/collapse)
From commit 053168d4 to 03941c1e
0.10.1 (expand/collapse)
From commit 04cb05d2 to 04cb05d2
0.10.3 (expand/collapse)
From commit 03e78496 to 03e6ca15
0.10.1 (expand/collapse)
From commit 06c5e811 to 06c5e811
0.10.3 (expand/collapse)
From commit 06062100 to 07b40774
0.10.1 (expand/collapse)
From commit 01543a48 to 01543a48
0.10.3 (expand/collapse)
From commit 06decf04 to 07c84f4d
0.10.1 (expand/collapse)
From commit 05ee2af7 to 0214bf46
0.9.8 (expand/collapse)
From commit 04a0b11c to 04a0b11c
0.10.1 (expand/collapse)
From commit 01efdec3 to 050646af
0.9.8 (expand/collapse)
From commit 05de8873 to 05de8873
0.10.1 (expand/collapse)
From commit 05c54717 to 076f9d88
0.9.8 (expand/collapse)
From commit 03725673 to 03725673
0.10.1 (expand/collapse)
From commit 034eb3b3 to 034f3223
0.9.8 (expand/collapse)
From commit 038fbf01 to 061b6548
0.10.1 (expand/collapse)
From commit 0511b88c to 0511b88c
0.9.8 (expand/collapse)
From commit 03b9bc9e to 05288165