Comment by layer8

2 years ago

> Recently I found another notion of "provability"

Any pointers to that alternative notion?

1 comment

layer8

Reply

bvssvni 2 years ago

I'm implementing it in this project: https://crates.io/crates/hooo