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: -- see also the paper which has many benchmarks on the reconstruction tactics

Last updated: Jun 25 2024 at 14:01 UTC