gapt.proofs.lk.rules.WeakQuantifierRule
See theWeakQuantifierRule companion class
object WeakQuantifierRule
Attributes
- Companion
- class
- Source
- WeakQuantifierRule.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
WeakQuantifierRule.type
Members list
In this article