Modality Modality > Docs
Solutions Resources ContractNexus
  • Overview
    • FAQs
    • Get Started
  • By Example
    • Create your Keys
    • Sign an Agreement
    • Unpack a Contract File
    • Sync a Contract Repo
  • CLI
    • create
    • commit
    • query
    • info
    • log
    • push
    • pull
    • pack
    • unpack
    • extract
    • gen-keypair
  • Modality
    • Rules and Models
    • Necessity and Possibility
    • Can and Must
    • Fixed Point Operators
    • Always, Eventually, and Until
  • Concepts
    • Temporal Modal Logic
    • Kripke Machine
By Example

Modality by Example

Follow along as we perform common tasks in Modality.

Please note that in examples that follow, shell command lines are shown prefixed by %. Any other line is output. For example:

% echo Hello World!
Hello World!
Previous
← Get Started with Modality
Next
Create your Keys →

Edit this page

Community

  • GitHub