Skip to content

Add coq hammer

Daniel Hilst requested to merge add-coq-hammer into master

Add https://coqhammer.github.io/ to the dependencies, CI, README etc.

Edited by Guillaume Claret

Merge request reports