Coqhammer Versions Save

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

v1.3.2+8.19

1 month ago

CoqHammer 1.3.2 for Coq 8.19

v1.3.2+8.18

6 months ago

CoqHammer 1.3.2 for Coq 8.18

v1.3.2+8.17

1 year ago

CoqHammer 1.3.2 for Coq 8.17

v1.3.2+8.16

1 year ago

CoqHammer 1.3.2 for Coq 8.16

v1.3.2-coq8.15

2 years ago

CoqHammer 1.3.2 for Coq 8.15

v1.3.2-coq8.14

2 years ago

CoqHammer 1.3.2 for Coq 8.14

v1.3.2-coq8.13

2 years ago

CoqHammer 1.3.2 for Coq 8.13

v1.3.2-coq8.12

2 years ago

CoqHammer 1.3.2 for Coq 8.12

v1.3.2-coq8.11

2 years ago

CoqHammer 1.3.2 for Coq 8.11

v1.3.2-coq8.10

2 years ago

CoqHammer 1.3.2 for Coq 8.10