current state of the Proof-Checker project