Proven properties of the Jolteon protocol

open import Jolteon.Properties.Core ⋯ public
open import Jolteon.Properties.State ⋯ public
open import Jolteon.Properties.Steps ⋯ public
open import Jolteon.Properties.Votes ⋯ public
open import Jolteon.Properties.QuorumIntersection ⋯ public
open import Jolteon.Properties.NonConsecutiveBlocks ⋯ public
open import Jolteon.Properties.Safety ⋯ public