Merge pull request #63 from proux01/no-stdlib

Remove Stdlib dependency
math-comp · Feb 21, 2025 · 04a591e · 04a591e
2 parents 35693ae + 693ed24
commit 04a591e
Show file tree

Hide file tree

Showing 6 changed files with 11 additions and 519 deletions.
diff --git a/.github/workflows/nix-action-8.16.yml b/.github/workflows/nix-action-8.16.yml