Package

at.logic.gapt.proofs.ceres

projections

Permalink

package projections

Visibility
  1. Public
  2. All

Type Members

  1. case class ProjectionException(message: String, original_proof: LKProof, new_proofs: List[LKProof], nested: Exception) extends Exception with Product with Serializable

    Permalink

Ungrouped