curryst0.5.1
Typeset trees of inference rules.
agregyst0.1.0
Agregation Template for writting teaching lesson
