toLLKString
gapt.formats.llk.toLLKString
object toLLKString
This is a prover9 style formatting which can be parsed by LLK.
Attributes
- Source
- LLKExporter.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
toLLKString.type
Members list
In this article