term

Ivy notes

A personal expansion and reorganization of the Ivy project's documentation.

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

Notes taken with obsidian

Rendered with oboe

term

Another synonym for expression, similar to formula.

Backlinks

expression
formula
logical fragment
logical variable