I am writing tabulated Hilbert-style derivations, using a proof checker which I wrote in Python. See also: https://math.stackexchange.com/a/5135207/1755256 The book I am studying is Introduction to ...