Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-09-19 | Employ linters | Nguyễn Gia Phong | |
2020-09-08 | Update git repo and nitpick | Nguyễn Gia Phong | |
2020-07-24 | Update documentation pointers | Nguyễn Gia Phong | |
2020-07-24 | Write an overvview in docs | Nguyễn Gia Phong | |
2020-07-24 | Render math correctly and clean up docs | Nguyễn Gia Phong | |
2020-07-20 | Use Sphinx to replace wiki | Nguyễn Gia Phong | |