logoalt Hacker News

adrianN • today at 2:43 AM • 0 replies • view on HN

The whole project kind of died with Gödel.