Step properties

{-# OPTIONS --safe #-}
open import Jolteon.Assumptions

module Jolteon.Properties.Steps (⋯ : _) (open Assumptions ⋯) where

open import Jolteon ⋯

open import Jolteon.Properties.Steps.Core ⋯ public
open import Jolteon.Properties.Steps.Phases ⋯ public
open import Jolteon.Properties.Steps.Now ⋯ public
open import Jolteon.Properties.Steps.RCur ⋯ public
open import Jolteon.Properties.Steps.RVote ⋯ public
open import Jolteon.Properties.Steps.QCRound ⋯ public
open import Jolteon.Properties.Steps.QCHigh ⋯ public
open import Jolteon.Properties.Steps.Timeouts ⋯ public
open import Jolteon.Properties.Steps.Voting ⋯ public
open import Jolteon.Properties.Steps.Blocks ⋯ public
open import Jolteon.Properties.Steps.CommitPoints ⋯ public
open import Jolteon.Properties.Steps.Certification ⋯ public