tapeUrban
gapt.examples.tapeUrban
object tapeUrban extends TacticsProof
Formalisation of the tape-proof as described in C. Urban: Classical Logic and Computation, PhD Thesis, Cambridge University, 2000.
Attributes
- Graph
-
- Supertypes
-
class TacticsProofclass TacticsProof0class Objecttrait Matchableclass Any
- Self type
-
tapeUrban.type
Members list
In this article