Canh Do Minhunread,
May 23, 2023, 11:06:26 PMMay 23
Dear Tamrin Prover Maintainers,
I am Canh from JAIST in Japan.
I am interested in how to parallelize the proof search in Tamarin prover.
However, I could not find any document for it.
Could you please send me a document or a short description how it was
Looking forward your reply.
Canh Minh Do