leon

proof

package proof

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. proof
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class ProofOps(prop: Boolean) extends Product with Serializable

    Annotations
    @library()

  2. case class RelReasoning[A](x: A, prop: Boolean) extends Product with Serializable

    Relational reasoning.

Value Members

  1. object Internal

    Internal helper classes and methods for the 'proof' package.

  2. implicit def any2RelReasoning[A](x: A): RelReasoning[A]

    Annotations
    @library()

  3. implicit def boolean2ProofOps(prop: Boolean): ProofOps

    Annotations
    @library()

  4. def by(proof: Boolean)(prop: Boolean): Boolean

    Annotations
    @library()

  5. def check(prop: Boolean): Boolean

    Annotations
    @library()

  6. def trivial: Boolean

    Annotations
    @library()

Inherited from AnyRef

Inherited from Any

Ungrouped