nixpkgs / coqPackages.coqhammer - Automation for Dependent Type Theory

Homepage - http://cl-informatik.uibk.ac.at/cek/coqhammer/

License - LGPL-2.1

Maintainers - Vincent Laporte

Releases

1.3.1 (expand/collapse)

From commit 02c142a2 to 00460bd6

1.3 (expand/collapse)

From commit 074ef76e to 074ef76e

1.3.1 (expand/collapse)

From commit 04855119 to 07557e3b

1.3 (expand/collapse)

From commit 065a8102 to 065a8102

1.3.1 (expand/collapse)

From commit 044053e2 to 04de1306

1.3 (expand/collapse)

From commit 03582eb6 to 03582eb6

1.3.1 (expand/collapse)

From commit 037e5170 to 062e1e59

1.3 (expand/collapse)

From commit 05065605 to 05065605

1.3.1 (expand/collapse)

From commit 04f82b9e to 01dc2d9c

1.3 (expand/collapse)

From commit 06749ba3 to 05c001a5

1.1.1 (expand/collapse)

From commit 05fe6112 to 05fe6112

1.3 (expand/collapse)

From commit 015c5a2b to 0096eb92

1.1.1 (expand/collapse)

From commit 00347e95 to 00347e95

1.3 (expand/collapse)

From commit 063c756b to 00946dc2

1.1.1 (expand/collapse)

From commit 00d8c11a to 00d8c11a

1.3 (expand/collapse)

From commit 0620184f to 03197f94

1.1.1 (expand/collapse)

From commit 02626990 to 02626990

1.3 (expand/collapse)

From commit 049c0c52 to 02ee8250

1.1.1 (expand/collapse)

From commit 024877e7 to 016dad9d

1.1 (expand/collapse)

From commit 04a5e5ab to 04a5e5ab

1.1.1 (expand/collapse)

From commit 0288741d to 0288741d

1.1 (expand/collapse)

From commit 03f3d67e to 03f3d67e

1.1.1 (expand/collapse)

From commit 036abcf5 to 01c9c9b1

1.1 (expand/collapse)

From commit 043d233d to 0295a518