Ben Delaware
Home Research My CV Pictures Links
  • Here are some random links for your perusal:
  • The Coq Proof Assistant
  • University of Texas at Austin
  • Penny Arcade
  • Perry Bible Fellowship
  • Joystiq