Properties Of Ledgers

{-# OPTIONS --safe #-}
module Ledger.Dijkstra.Specification.Ledgers.Properties where

open import Ledger.Dijkstra.Specification.Ledgers.Properties.Computational