Does this project still exist somewhere other than Google Code? It seems everything on the website 404s.

EDIT: this might be it: https://github.com/Tipoca/intuitionistic