proof
gapt.examples.poset.proof
object proof extends TacticsProof
Attributes
- Graph
-
- Supertypes
-
class TacticsProofclass TacticsProof0class Objecttrait Matchableclass Any
- Self type
-
proof.type
Members list
In this article