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