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