v0.12.0

liyishuai released this 22 Oct 14:28

· 23 commits to master since this release

26626fa

What's Changed

Adapt to coq/coq#17795 (Polymorphic Class does not auto lower to Prop) by @SkySkimmer in #138
Adapt to coq/coq#18164 by @Villetaneuse in #140

New Contributors

@Villetaneuse made their first contribution in #140

Full Changelog: v0.11.8...v0.12.0

Contributors

SkySkimmer and Villetaneuse

Assets 2