Skip to content

Remove hint db and import of omega, since omega will be removed from Coq.

Robbert Krebbers requested to merge robbert/omega into master

Merge request reports