laws_math.bend checks

import Base
import ./proofs/math/number/proof.bend as MathNumberProof
import ./proofs/math/proof.bend as MathProof
import ./proofs/math/random/proof.bend as MathRandomProof
import ./proofs/math/random/proof_draws.bend as MathRandomProofDraws
import ./proofs/math/random/proof_float.bend as MathRandomProofFloat
import ./proofs/math/random/proof_pcg.bend as MathRandomProofPcg
import ./proofs/math/typed/examples.bend as MathTypedExamples
import ./proofs/math/typed/f64close.bend as MathTypedF64close
import ./proofs/math/typed/f64divc.bend as MathTypedF64divc
import ./proofs/math/typed/f64fmod.bend as MathTypedF64fmod
import ./proofs/math/typed/f64misc.bend as MathTypedF64misc
import ./proofs/math/typed/f64modf.bend as MathTypedF64modf
import ./proofs/math/typed/f64next.bend as MathTypedF64next
import ./proofs/math/typed/f64ofnat.bend as MathTypedF64ofnat
import ./proofs/math/typed/f64ratio.bend as MathTypedF64ratio
import ./proofs/math/typed/f64sqc.bend as MathTypedF64sqc
import ./proofs/math/typed/float.bend as MathTypedFloat