amblafont/diagrammatic-resoning-spec

Specification of a diagrammatic reasoning tool

TeX