Hacker News new | ask | show | jobs
by helltone 395 days ago
Backtracking idea is interesting, could maybe diffusion help? At some point it turns into sat solving.
1 comments
grafmax 394 days ago
Sat solving I guess because types encode proofs?
link