def is_prime

bend-collections-laws-math@1.0.0.0 · proofs/math/number/proof.bend:37

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/number.bend as SN
import bend-collections-laws-math@1.0.0.0/proofs/math/number/prime.bend as PR

37def is_prime(+n: Nat) -> SN.IsPrime.value(n):
38  PR.is_prime_value(n)