8000 "Warnings" and "Debug" options are synterp not interp by SkySkimmer · Pull Request #19981 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

"Warnings" and "Debug" options are synterp not interp#19981

Merged
coqbot-app[bot] merged 1 commit intorocq-prover:masterfrom
SkySkimmer:classify-warn
Jan 9, 2025

Commits

Commits on Jan 9, 2025
0