-
modular-symbols Public
Computing newform subspaces using modular symbols
-
magic-squares Public
Searching for 6x6 additive-multiplicative magic squares
Python UpdatedJun 1, 2023 -
fiat-crypto Public
Forked from mit-plv/fiat-cryptoCryptographic Primitive Code Generation by Fiat
Coq Other UpdatedMar 7, 2023 -