autosubst2 icon indicating copy to clipboard operation
autosubst2 copied to clipboard

Published 20 hours ago • verified publisher icon uds-psl

Make the headers compatible with coq 8.17

Open yiyunliu opened this issue 1 year ago • 0 comments

This PR adds #[export] to the coq files in the headers directory. I also made minor tweaks such as Omega -> lia so the code compiles with coq 8.17.

yiyunliu avatar May 08 '23 22:05 yiyunliu