A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
162
stars
43
forks
source link
Adapt to coq/coq#13188 (Default disable automatic generalization of Instance type) #92
Closed
SkySkimmer closed 4 years ago