{-# OPTIONS --prop --rewriting #-}

module Examples.Gcd where

open import Examples.Gcd.Euclid public
open import Examples.Gcd.Clocked public
open import Examples.Gcd.Spec public
open import Examples.Gcd.Refine public