Releases · lukaszcz/coqhammer · GitHub

31 Jan 12:22

lukaszcz

v1.0.6-coq8.7

CoqHammer v1.0.6 for Coq 8.7 and 8.7.1 and 8.7.2

Assets 2

31 Jan 12:46

lukaszcz

v1.0.6-coq8.6

CoqHammer v1.0.6 for Coq 8.6 and 8.6.1

Assets 2