lnq ๐Ÿ‘จ๐Ÿฟ‍๐Ÿฆฑ: proof theory
๐Ÿ‘จ๐Ÿฟ‍๐Ÿฆฑ

proof theory

(see also y-proof)