C chame.co Literate Theorem Proving with Org (and Proof General) 8 points chameco 8 years ago 1 comments
