Skip to content

Adapt to coq/coq#18352 (ltacX_common_plugin)#381

Closed
SkySkimmer wants to merge 1 commit intorocq-archive:mainfrom SkySkimmer:ltac2-ltac1
+18-6

Commits

Commits on Jan 17, 2024