Posts By: David Fisher
| Date | Post | Topic |
| 03/08/2006 | Wait, whoa. | ACL2 in DrScheme |
| 03/09/2006 | Oh my. That would be the | ACL2 in DrScheme |
| 02/05/2006 | Oleg here uses Mini-Kanren, | Inverse typechecker and theorem proving in intuitionistic and classical logics |
| 02/05/2006 | Actually... | Inverse typechecker and theorem proving in intuitionistic and classical logics |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |