Hacker News new | ask | show | jobs
by layer8 186 days ago
Now I’m wondering what the Chinese version of intuitionistic logic would look like.