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: Oct 13 2024 at 01:02 UTC