← Back to context

Comment by usewik

14 hours ago

Modern mathematics research can involve CPU intensive tools like mathlib, lean proof assistant.

0 comments

usewik

Reply

No comments yet

Contribute on Hacker News ↗