module Tests.ProofTest where

import Tests.SizedFunTest
import Proof