Hi, I'm a beginner with testing proofs in dotnet. I've just created certain
unit proofs and now I'm wondering if it would be possible to create some kind
of "proof stack" where I could specify the execution order of these proofs.
unit proofs and now I'm wondering if it would be possible to create some kind
of "proof stack" where I could specify the execution order of these proofs.