https://github.com/dranov/soroban-decidable-verification
GitHub - dranov/soroban-decidable-verification: Experiments with verifying Soroban smart contracts...
Experiments with verifying Soroban smart contracts using decidable logic - dranov/soroban-decidable-verification
githubsorobanverificationexperimentsverifying