Viewing profile — markeightfold
markeightfold
HN member- Joined
- Fri, May 31, 2013, 3:59 AM UTC
- HN karma
- 40
- Public activity
- 4 items
- HN profile
- View on Hacker News ↗
About markeightfold
I am a sea turtle
Recent public activity
-
comment
Comment #6997680
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 tryin…
- story
- story
- story