Help with uploading theories needed

35 views

Skip to first unread message

unread,

Jul 6, 2022, 4:48:50 AM7/6/22

to tamarin-prover

i am very new to tamarin prover. i please want to know the file to upload as the theory. the .spthy and .oracle files keep giving me errors.

Reply all

Reply to author

Forward

0 new messages