Proof

object Proof
Companion:
class
class Object
trait Matchable
class Any
Proof.type

Givens

Givens