[isabelle-dev] MetiTarski

Lawrence Paulson lp15 at cam.ac.uk
Fri Aug 22 16:22:45 CEST 2008

I wonder whether any of you would like to try out the MetiTarski prover:


It is probably not ready for a general public release but maybe some  
of you will find it interesting. Note that I shall be away all next  
week, so if that doesn't work you cannot pester me :-)


More information about the isabelle-dev mailing list