Hb queue#1159

Merged

proux01 merged 6 commits intomath-comp:hierarchy-builderfrom

affeldt-aist:hb_queue

Jan 20, 2024

Commits on Jan 18, 2024

fixes #1131 (#1132)
affeldt-aist
committed

Commits on Jan 20, 2024

generalizations (#1147)

affeldt-aist
authored and
proux01
committed
Curry is continuous (#926)

authored and
proux01
committed
Add contra tactics

authored and
proux01
committed
Total variation (#1118)

authored and
proux01
committed
changelog for version 0.7.0 (#1158)

affeldt-aist
authored and
proux01
committed