This commit is contained in:
2024-04-11 06:57:44 -07:00
commit a61a59e281
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.burkey.co/eburk/libflint