| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-08-09 | Add query problem time complexity command | Marcin Chrzanowski | |
| 2021-08-09 | Add Theorem definition | Marcin Chrzanowski | |
| 2021-08-07 | Add macro for defined terms | Marcin Chrzanowski | |
| 2021-08-07 | Add an optional 'fixed parameters' parameter | Marcin Chrzanowski | |
| 2021-08-07 | Define queryproblem macro | Marcin Chrzanowski | |