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