Hacker News new | ask | show | jobs
by vnjxk 543 days ago
Isn't there a math theorem programming language or something?