Hacker News new | ask | show | jobs
by layer8 966 days ago
> Recently I found another notion of "provability"

Any pointers to that alternative notion?
1 comments
bvssvni 966 days ago
I'm implementing it in this project: https://crates.io/crates/hooo
link