Skip to content

Releases: lukaszcz/coqhammer

v1.3.2-coq8.10

30 Sep 13:56
@lukaszcz lukaszcz
v1.3.2+coq8.10
aaa680f
Compare
Choose a tag to compare
v1.3.2-coq8.10

CoqHammer 1.3.2 for Coq 8.10

Assets 2
Loading

v1.3.1-coq8.13

03 Apr 11:29
@lukaszcz lukaszcz
v1.3.1+coq8.13
a83bcaf
Compare
Choose a tag to compare
v1.3.1-coq8.13

CoqHammer 1.3.1 for Coq 8.13

Assets 2
Loading

v1.3.1-coq8.12

03 Apr 11:28
@lukaszcz lukaszcz
v1.3.1+coq8.12
c8a60bf
Compare
Choose a tag to compare
v1.3.1-coq8.12

CoqHammer 1.3.1 for Coq 8.12

Assets 2
Loading

v1.3.1-coq8.11

03 Apr 11:26
@lukaszcz lukaszcz
v1.3.1+coq8.11
cf950ff
Compare
Choose a tag to compare
v1.3.1-coq8.11

CoqHammer 1.3.1 for Coq 8.11

Assets 2
Loading

v1.3.1-coq8.10

03 Apr 11:25
@lukaszcz lukaszcz
v1.3.1+coq8.10
d83b4bd
Compare
Choose a tag to compare
v1.3.1-coq8.10

CoqHammer 1.3.1 for Coq 8.10

Assets 2
Loading

v1.3-coq8.12

19 Aug 09:52
@lukaszcz lukaszcz
v1.3+coq8.12
940f801
Compare
Choose a tag to compare
v1.3-coq8.12

CoqHammer 1.3 for Coq 8.12

Assets 2
Loading

v1.3-coq8.11

28 Jul 19:16
@lukaszcz lukaszcz
v1.3+coq8.11
149ce37
Compare
Choose a tag to compare
v1.3-coq8.11

CoqHammer 1.3 for Coq 8.11

Assets 2
Loading

v1.3-coq8.10

28 Jul 19:15
@lukaszcz lukaszcz
v1.3+coq8.10
c7786e6
Compare
Choose a tag to compare
v1.3-coq8.10

CoqHammer 1.3 for Coq 8.10

Assets 2
Loading

v1.2.1-coq8.11

05 Jun 20:23
@lukaszcz lukaszcz
v1.2.1+coq8.11
dcc540e
Compare
Choose a tag to compare
v1.2.1-coq8.11

CoqHammer v. 1.2.1 for Coq 8.11

Assets 2
Loading

v1.2.1-coq8.10

05 Jun 20:19
@lukaszcz lukaszcz
v1.2.1+coq8.10
59181bb
Compare
Choose a tag to compare
v1.2.1-coq8.10

CoqHammer v. 1.2.1 for Coq 8.10

Assets 2
Loading