RE: I'm making my move! A new AGI Project is born

From: Ben Goertzel (
Date: Mon Apr 05 2004 - 06:42:04 MDT

Ah... In my previous post I forgot to mention the Isabelle

This is an old paper:

Some googling should reveal what the project has been up to lately.

I know they've been working towards using Isabelle for formal
verification of Java program correctness:

-- Ben G

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:46 MDT