Topic logic

Type­set Be­griff­schrift

Im­proved quan­ti­fier stroke for Be­griff­ss­chrift pack­ages

Type­set fregean Be­griff­ss­chrift

LK Proof fig­ure macros

Type­set syl­lo­gisms in LaTeX

Easy draw­ing of syn­tac­tic proofs

Draw in­ter­ac­tion nets with TikZ