A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
BSD 2-Clause "Simplified" License
129
stars
46
forks
source link
Adapt to coq/coq#17795 (Polymorphic Class does not auto lower to Prop) #138
Closed
SkySkimmer closed 1 year ago