Work on fully expansive verification of MetiTarski proofs - View it on GitHub