math-comp/hierarchy-builder v1.7.0
Hierarchy Builder 1.7.0

on GitHub

6 months ago

Compatible with Coq 8.18 with Coq 8.19

What's Changed

Removed the #[primitive_class] attribute, making it the default.
New HB.saturate to saturate instances w.r.t. the current hierarchy
Removed the #[infer] attribute made obsolete by reverse coercions.

Check out latest releases or
releases around math-comp/hierarchy-builder v1.7.0

Don't miss a new hierarchy-builder release

NewReleases is sending notifications on new releases.

Get notifications