github math-comp/hierarchy-builder v1.6.0
Hierarchy Builder 1.6.0

latest release: v1.7.0
8 months ago

Compatible with Coq 8.16, 8.17 and 8.18.

This release is mainly improving performances in Math Comp 2.0 and Math Comp Analysis.

Don't miss a new hierarchy-builder release

NewReleases is sending notifications on new releases.