gapt.proofs.context.mutable.ReadOnlyMutableContext.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation

General Architecture for Proof Theory

The newest version!

package gapt.proofs.context.mutable

import gapt.proofs.context.immutable.ImmutableContext

trait ReadOnlyMutableContext {

  def ctx: ImmutableContext

}