dogear

enter for all results · esc to close

avm-semantics

github.comtool

visit github.com ↗
0
sign in to dogear this
from
Algorand
added
2026-10-10
likes
0

Algorand › Development & Tools > Smart Contract Development > Frameworks & Utilities: “Algorand Virtual Machine and TEAL Semantics in K framework. Aids with testing and formal verification of smart contracts.”