Hacker News new | ask | show | jobs
by scapp 1454 days ago
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