Move rewrite strat asts to ltac1 plugin#21571
Open
SkySkimmer wants to merge 1 commit intorocq-prover:masterfrom
Open
Move rewrite strat asts to ltac1 plugin#21571SkySkimmer wants to merge 1 commit intorocq-prover:masterfrom
SkySkimmer wants to merge 1 commit intorocq-prover:masterfrom
