https://github.com/mit-plv/rewriter
History
Tip revision: 77c76a43689ce532921ccfa200b44083bc52dc21 authored by Andres Erbsen on 15 February 2023, 04:05:22 UTC
adapt for coq/coq#17022 (#96)
Tip revision: 77c76a4
File Mode Size
workflows
coq.json -rw-r--r-- 574 bytes
dependabot.yml -rw-r--r-- 347 bytes

back to top