MapSummary
Reference for mo:core/pattern/MapSummary in the core library.
SimpleLedger
Reference for mo:core/pattern/SimpleLedger in the core library.
ICRCLedger
Reference for mo:core/pattern/ICRCLedger in the core library.
Pattern Modules
Reusable verification patterns and ghost models