lawrencecpaulson.github.io: 9 stories from 5 submitters

  1. 7
    Propositions as types: explained (and debunked) formalmethods plt lawrencecpaulson.github.io
    amw-zero avatar via amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  2. 6
    When is a computer proof a proof? formalmethods math lawrencecpaulson.github.io
    amw-zero avatar via amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 23 comments
  3. 3
    The semantics of a simple functional language formalmethods plt lawrencecpaulson.github.io
    amw-zero avatar via amw-zero 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 9
    Formalising a new proof that the square root of two is irrational math lawrencecpaulson.github.io
    gerikson avatar via gerikson 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  5. 5
    Thoughts on user interfaces for theorem provers formalmethods lawrencecpaulson.github.io
    calvin avatar via calvin 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 24
    Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann distributed formalmethods ml lawrencecpaulson.github.io
    eatonphil avatar via eatonphil 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  7. 22
    Memories: Edinburgh ML to Standard ML ml plt lawrencecpaulson.github.io
    amw-zero avatar via amw-zero 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  8. 14
    Proving the obvious formalmethods math lawrencecpaulson.github.io
    hwayne avatar via hwayne 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  9. 7
    Why are you being constructive? formalmethods lawrencecpaulson.github.io
    amw-zero avatar via amw-zero 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments