Package

at.logic.gapt

proofs

Permalink

package proofs

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. trait DagProof[A <: DagProof[A]] extends Product

    Permalink
  2. trait SequentProof[Formula <: HOLFormula, This <: SequentProof[Formula, This]] extends DagProof[This]

    Permalink

Value Members

  1. package ceres

    Permalink
  2. package expansionTrees

    Permalink

    Created by sebastian on 7/15/15.

  3. package hoare

    Permalink
  4. package lk

    Permalink
  5. package lkNew

    Permalink
  6. package lksk

    Permalink
  7. package occurrences

    Permalink
  8. package proofs

    Permalink
  9. package resolution

    Permalink

    Created by sebastian on 7/13/15.

  10. package shlk

    Permalink
  11. package sketch

    Permalink

Ungrouped