Wednesday, November 09, 2005

Theorem Proving in Go

Over my head, but a interesting read nonetheless.

posted by Rog at 8:46 PM