Newest stories submitted by jtm.

  1. 21
    Untangling mechanized proofs formalmethods plv.csail.mit.edu
    jtm avatar via jtm 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 7
    Introduction to Operating System Abstractions using Plan 9 [2007] pdf osdev programming lsub.org
    jtm avatar via jtm 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 18
    CMU 15-819 - Homotopy Type Theory video education plt cs.cmu.edu
    jtm avatar via jtm 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment