← Back to context Comment by nbulka 4 hours ago Not necessarily monkeys but thinking in Lean first is quite plausible 0 comments nbulka Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗