recent posts

typetitleauthorlast post sort icon
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
StoryType-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Manuel J. Simoni2012-03-01 16:27
Forum topicwhy first-class functions ad1mt2012-03-02 13:33