v0.12.0

liyishuai released this 22 Oct 14:28

· 26 commits to master since this release

26626fa

What's Changed

Adapt to rocq-prover/rocq#17795 (Polymorphic Class does not auto lower to Prop) by @SkySkimmer in #138
Adapt to rocq-prover/rocq#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