Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-07-20 | (mkosarek) Decent mathlib | Matthew Kosarek | |
2021-07-18 | (mkosarek) better mathlib now containing quaternions | Matthew Kosarek | |
2021-05-16 | Moved the frontend directory up so that it no longer exists | Matthew Kosarek | |