Posts By: michaeln
| Date | Post | Topic |
| 02/29/2012 | HOL4 and the de Bruijn criterion | Milawa on Jitawa: a Verified Theorem Prover |
| 03/11/2007 | Byproduct! | Gilad Bracha on tuples |
| 03/11/2007 | Hamlet prints 5, I'm pleased | Gilad Bracha on tuples |
| 12/07/2006 | One categorisation of these | PVS goes open source |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |