proofs

abstract val proofs: ProofsApi