Lambda the Ultimate

type	title	author	last post
Story	Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Lots to think about by jared.davis Clarification by jared.davis It seems subtle by jared.davis Re: Why isn't first order enough? by jared.davis	Paul Snively	2012-02-29 19:59
Forum topic	iPhone PL lockdown Can't imagine this affecting PL research by jared.davis	Sean McDirmid	2011-12-24 05:49

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation