Hacker News new | ask | show | jobs
by grafmax 395 days ago
Sat solving I guess because types encode proofs?