start implementing proof checker/proof explorer/whatever it will be called