Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-09-28 | Clean up CSS, minor design changes | Prefetch | |
2021-10-03 | Reveal name + general improvements | Prefetch | |
2021-07-28 | Expand knowledge base, fix a:visited CSS | Prefetch | |
2021-06-02 | Introduce collapsible proofs to some articles | Prefetch | |
2021-05-08 | Expand knowledge base, change text alignment | Prefetch | |
2021-02-24 | Initial commit | Prefetch | |