Skip to content

use coq.coercion.class as the type of coercion classes#909

Closed
gares wants to merge 2 commits intomasterfrom
coercion-class
Closed

use coq.coercion.class as the type of coercion classes#909
gares wants to merge 2 commits intomasterfrom
coercion-class

Commits

Commits on Oct 17, 2025