Towards a Formally Verified Proof Assistant (technical report)