Skip to content

adjust boilerplate for Coq 8.20 #48

adjust boilerplate for Coq 8.20

adjust boilerplate for Coq 8.20 #48