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