index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
ci
/
user-overlays
/
14050-SkySkimmer-no-remote-counter-alt.sh
blob: d1606711dc2b505242b60880e91aca4ff9e2cf4d (
plain
)
1
overlay
metacoq
https://github.com/SkySkimmer/metacoq
no-remote-counter-alt
14050
