Hacker News new | ask | show | jobs
by yishanchuan 536 days ago
Sure,but just in mathematical reasoning. If future works contain mathematical logic reasoning, it will perfect.