Skip to content

compatibility with rocq (aka Coq) 9.0

Johannes Hostert requested to merge rocq-9.0 into master

basically everything still works. cc @jung

Merge request reports