Properties

{-# OPTIONS --safe #-}

module Ledger.Dijkstra.Specification.Chain.Properties where

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