This commit is contained in:
2024-04-10 14:04:24 -07:00
commit d52d901538
11 changed files with 567 additions and 0 deletions

3
.gitmodules vendored Normal file
View File

@ -0,0 +1,3 @@
[submodule "lib/libflint"]
path = lib/libflint
url = https://git.fputs.com/eburk/libflint