Milawa on Jitawa, a Verified Theorem Prover(lambda-the-ultimate.org)1 points·by poppingtonic·hace 4 meses·0 commentslambda-the-ultimate.orgMilawa on Jitawa, a Verified Theorem Proverhttp://lambda-the-ultimate.org/node/44640 commentsPost comment—