Skip to content

pocklington compiles with Coq 8.17 and 8.18 #26

pocklington compiles with Coq 8.17 and 8.18

pocklington compiles with Coq 8.17 and 8.18 #26