8000 Export some APIs useful for ltac2 extensions by SkySkimmer · Pull Request #20590 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Export some APIs useful for ltac2 extensions#20590

Open
SkySkimmer wants to merge 1 commit intorocq-prover:masterfrom
SkySkimmer:ltac2-judge-apis
Open

Export some APIs useful for ltac2 extensions#20590
SkySkimmer wants to merge 1 commit intorocq-prover:masterfrom
SkySkimmer:ltac2-judge-apis

Commits

Commits on May 12, 2025
0