Search
Preparing search index...
The search index is not available
logically
Options
All
Public
Public/Protected
All
Inherited
Externals
Only exported
Menu
Globals
"Proof"
ConstructorArgsInterface
Interface ConstructorArgsInterface
Hierarchy
ConstructorArgsInterface
Index
Properties
assumptions
cited
Lines
proposition
rule
Properties
Optional
assumptions
assumptions
:
number
[]
cited
Lines
cited
Lines
:
number
[]
proposition
proposition
:
Formula
rule
rule
:
string
Globals
"
Proof"
Line
OfProof
Proof
Constructor
Args
Interface
assumptions
cited
Lines
proposition
rule
Evaluate
Proof
Interface
Line
OfProof
Interface
Proof
Interface
Simple
Add
Line
ToProof
Interface
Response
Data
Type
Generated using
TypeDoc