Stream: Coq users

Topic: CoqHammer 1.2.1 for Coq 8.10 and 8.11 released


view this post on Zulip Karl Palmskog (Jun 07 2020 at 15:44):

Doing my part (as opam package maintainer) to advertise the latest release of CoqHammer, 1.2.1, for Coq 8.10 and 8.11, now without any anomalies when the hammer tactic fails: https://coq.discourse.group/t/coqhammer-1-2-1-for-coq-8-10-and-8-11/873 -- see also the paper which has many benchmarks on the reconstruction tactics


Last updated: Feb 04 2023 at 21:02 UTC