markeightfold

4 ms·

1. 1.▲
   by markeightfold 13y ago

   This is fascinating to me. A couple comments and links. Here is a course on proof theory that uses Coq [1]. It is actually the course that Vladimir Voevodsky took when he was trying to understand proof and type theory [2], [3]. While writin
2. 2.▲
   Kerckhoffs's principle(en.wikipedia.org)

   35 points by markeightfold 13y ago|17 comments