| Age | Commit message (Expand) | 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 |