State of the New Proof Assistant