summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)Author
2021-07-18(mkosarek) better mathlib now containing quaternionsMatthew Kosarek
2021-07-01(mkosarek) Decent SAT description for nowMatthew Kosarek