List view

[wish] HB.pack Definition packager args : structure.

Status: Closed (completed).

#112 In math-comp/hierarchy-builder;

· by CohenCyril was closed on Dec 11, 2024

get-canonical-mixin-of and type checking

Status: Closed (completed).

#114 In math-comp/hierarchy-builder;

· by gares was closed on Mar 25, 2021

Make the error about NFI a warning for some time

Status: Closed (completed).

#253 In math-comp/hierarchy-builder;

· by gares was closed on Jul 22, 2021

Spring cleanup (opam, nix, 8.13)

Status: Merged (completed).

math-comp/hierarchy-buildernumber 249

#249 In math-comp/hierarchy-builder;

· by pi8027 was closed on Jun 14, 2021

Factory sort tactic

Status: Merged (completed).

math-comp/hierarchy-buildernumber 252

#252 In math-comp/hierarchy-builder;

· by gares was closed on Jul 22, 2021

Optimizing instances

Status: Merged (completed).

math-comp/hierarchy-buildernumber 242

#242 In math-comp/hierarchy-builder;

· by CohenCyril was closed on Jul 27, 2021