Skip to content

update coercion hook (due to hook call update in coq)#596

Merged
gares merged 1 commit intoLPCIC:coq-masterfrom Tragicus:master-coercionFeb 15, 2024
+28-2

Commits

Commits on Feb 15, 2024