8000 Reimplement Ncring_tac reification in ltac instead of typeclasses by SkySkimmer · Pull Request #18325 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Reimplement Ncring_tac reification in ltac instead of typeclasses#18325

Merged
coqbot-app[bot] merged 1 commit intorocq-prover:masterfrom
SkySkimmer:reify-ring-ltac
Dec 9, 2023

Commits

Commits on Dec 4, 2023
0