soEqToEquiv
gapt.proofs.lk.transformations.soEqToEquiv
object soEqToEquiv
Replaces second-order equations between formulas by first-order equivalences and equality inferences on second-order equations by cuts.
Attributes
- Source
- soEqToEquiv.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
soEqToEquiv.type
Members list
In this article