Closed affeldt-aist closed 2 years ago
@davidnowak
fixes #60
make on branch hb120 is successful with HB 1.2.0 and Coq 8.13.2.
make
@davidnowak
fixes #60