recent posts

typetitleauthorlast post sort icon
Forum topicSelf-Certification: Bootstrapping Certified Typecheckers dmbarbour2012-02-23 18:23
Forum topicSyntax Desugaring Algorithm Question bryanedds2012-02-23 23:46
Forum topicShen (the next Qi Lisp) released raould2012-02-23 23:50
Forum topicPLT humor on Twitter Manuel J. Simoni2012-02-25 21:54
Forum topicNegation and proofs by contradiction with the proof engine hbrandl2012-02-27 18:27
Forum topicwhy inheritence in OOP? ad1mt2012-02-28 13:30
Forum topic[Meta] Are we Reddit? James Iry2012-02-29 02:46
StoryMilawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Paul Snively2012-02-29 19:59
StoryMilawa on Jitawa: a Verified Theorem Prover Paul Snively2012-02-29 22:34
StoryWhen Formal Systems Kill: Computer Ethics and Formal Methods James Iry2012-02-29 23:02