Milawa on Jitawa, a Verified Theorem Prover