nixpkgs / coqPackages.tlc - A non-constructive library for Coq

Homepage - http://www.chargueraud.org/softs/tlc/

Maintainers - Vincent Laporte

Releases

(expand/collapse)
From commit 033208fd to 00460bd6
20200328 (expand/collapse)
From commit 04946f42 to 04946f42
(expand/collapse)
From commit 05ca995e to 06623ebd
20200328 (expand/collapse)
From commit 06c0f165 to 06c0f165
(expand/collapse)
From commit 0575e0d2 to 075da392
20200328 (expand/collapse)
From commit 06749ba3 to 0380ee43
20181116 (expand/collapse)
From commit 05fe6112 to 05fe6112
20200328 (expand/collapse)
From commit 015c5a2b to 0096eb92
20181116 (expand/collapse)
From commit 00347e95 to 00347e95
20200328 (expand/collapse)
From commit 063c756b to 00946dc2
20181116 (expand/collapse)
From commit 00d8c11a to 00d8c11a
20200328 (expand/collapse)
From commit 0620184f to 03197f94
20181116 (expand/collapse)
From commit 02626990 to 02626990
20200328 (expand/collapse)
From commit 049c0c52 to 02ee8250
20181116 (expand/collapse)
From commit 0218f30a to 016dad9d
20180316 (expand/collapse)
From commit 0767de3d to 0767de3d
20181116 (expand/collapse)
From commit 00263c93 to 00610756
20180316 (expand/collapse)
From commit 00a52224 to 00a52224
20181116 (expand/collapse)
From commit 04cc8385 to 02ea1812
20180316 (expand/collapse)
From commit 0045164b to 0045164b
20181116 (expand/collapse)
From commit 06026f28 to 06fad89b
20180316 (expand/collapse)
From commit 0778b2c9 to 0778b2c9
20181116 (expand/collapse)
From commit 02811918 to 07458c2f
20180316 (expand/collapse)
From commit 037f62bb to 0695b7da
20181116 (expand/collapse)
From commit 030efbb1 to 030efbb1
20180316 (expand/collapse)
From commit 00541faa to 00541faa
20181116 (expand/collapse)
From commit 072c69f1 to 069e1a74
20180316 (expand/collapse)
From commit 06c83a14 to 06c83a14
20181116 (expand/collapse)
From commit 06e0ede0 to 06e0ede0
20180316 (expand/collapse)
From commit 0638ff6f to 05dfa99d
20181116 (expand/collapse)
From commit 03bd909f to 03bd909f
20180316 (expand/collapse)
From commit 03b9bc9e to 041fc676
8.4 (expand/collapse)
From commit 06d020fe to 03f2888b