Recent Posts

• Sphere Eversion: A Formal Blueprint
  by kevinbuzzardon 6/4/2020, 8:41:10 AM with 0 comments
• Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]
  by kevinbuzzardon 4/6/2020, 3:24:30 PM with 5 comments