5 ms·The whole project kind of died with Gödel.by adrianN 1y agoThe whole project kind of died with Gödel.