search

GaloisInc / formal-verso

Formal Verification for Soroban
BSD 3-Clause "New" or "Revised" License
1 stars 0 forks source link

[contract] Verify Cross Contract Calls #3

Open scuellar opened 4 months ago

scuellar commented 4 months ago

The example contract for Cross Contract Calls is described in the Soroban tutorial and the code can be found here.