Merge pull request #38 from proux01/hierarchy-builder

Porting to MathComp HB
math-comp · May 11, 2023 · ec11936 · ec11936
2 parents e275bb0 + 4936bfa
commit ec11936
Show file tree

Hide file tree

Showing 13 changed files with 540 additions and 755 deletions.
diff --git a/.github/workflows/nix-action-8.15.yml b/.github/workflows/nix-action-8.15.yml