Ivy notes
A personal expansion and reorganization of the Ivy project's documentation.
Ivy website
Ivy github
Navigation
Lexical structure
Keywords
Declarations
Definitions
Expressions
Actions
Statements
Properties
and
Theorems
Isolates
and
Invariants
Assume-Guarantee reasoning
Logical fragment
Verification conditions
Recovering decidability
Proof
and
Tactics
Commands
Further info
proposition
A term of type
bool
Backlinks
assertion
axiom
keywords
property
relation