Popular repositories Loading

1. hermite hermite Public

   Magma code for the classification of definite Hermite quaternion orders and definite quaternion orders with locally free cancellation

   MATLAB 1

2. bottle-sqlite bottle-sqlite Public

   Forked from bottlepy/bottle-sqlite

   Python

3. formalization-kappa-monoid-paper formalization-kappa-monoid-paper Public

   Autoformalization of: Nazemian, Smertnig, "A monoid-theoretical approach to infinite direct-sum decompositions of modules"

   Lean