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

latest release: v1.7.0
10 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.

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

Don't miss a new hierarchy-builder release

NewReleases is sending notifications on new releases.

Get notifications