Posts By: jared.davis
| Date | Post | Topic |
| 06/01/2010 | Re: Why isn't first order enough? | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
| 06/06/2010 | It seems subtle | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
| 06/12/2010 | Clarification | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
| 06/20/2010 | Lots to think about | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
| 04/09/2010 | Can't imagine this affecting PL research | iPhone PL lockdown |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |