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 |