Milawa on Jitawa, a Verified Theorem Proverlambda-the-ultimate.org1 point·poppingtonic··0 commentsOpen articleSaveView on HN