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

4 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.

Don't miss a new hierarchy-builder release

NewReleases is sending notifications on new releases.