Archetype
在 Tezos 區塊鏈上開發智能合約的語言。
Archetype 是一種領域特定語言(DSL),用於在 Tezos 區塊鏈上開發智能合約,尤其關注合約的形式化驗證。其由 Tezos 基金會支持、edukera 開發。
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.
Archetype 是一種領域特定語言(DSL),用於在 Tezos 區塊鏈上開發智能合約,尤其關注合約的形式化驗證。其由 Tezos 基金會支持、edukera 開發。