Tezos Agora Wiki
Search
⌃K
Tezos Agora Wiki
Search
⌃K
Welcome to the Tezos Agora Wiki!
Tezos White Paper
Tezos Position Paper
Learn
Intro to Tezos
Baking
Tezos Governance
Tezos and Functional Programming
Smart Contracts on Tezos
Michelson
SmartPy
LIGO
Morley Framework
Archetype
Formal Verification
Uses of Tezos
In Development
Build
Tezos Clients
Blockchain Indexers
dApp Development
Create a Tezos Token
Use
Quick Reference
Baking
User Opportunities
Contact and Support
Contribute
How to Contribute
Feedback
Powered By
GitBook
Archetype
Archetype
Archetype
is a DSL (domain-specific language ) for Tezos which facilitates formal verification and transcodes contracts to SmartPy and LIGO.
Medium article
How To Verify a smart contract with Archetype
Archetype is funded by the Tezos Foundation and developed by
edukera
.
Previous
Cleveland
Next
Formal Verification
Last modified
1yr ago
