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