Hacker News new | ask | show | jobs
by nl 5 days ago
Tsimerman's work is directly applicable in two fields of computer science: O-minimality can be used to simplify formal verification.