Hi, what are the limits of stwo prover?
Can it be used just for selected types of computations?
No it can be used for any arbitrary computation written in Cairo. And Cairo is Turing complete so you can build almost anything with it.
1
