Go to file
tali 0379c8c2e2 create "Adam" math library 2024-01-15 13:01:11 -05:00
src create "Adam" math library 2024-01-15 13:01:11 -05:00
.gitignore init 2024-01-14 21:05:54 -05:00
dune-project update .opam 2024-01-14 21:39:42 -05:00
geometra.opam update .opam 2024-01-14 21:39:42 -05:00