Alt-Ergo Documentation
Contents
Install
Usage
Input file formats
Alt-Ergo's native language
Summary
Declaration of symbols
Types
Declaration of axioms
Setting goals
Theories
Control Flow
Syntax of declarations and expressions
SMT-LIB 2
API documentation
Plugins
Developer's documentation
About
Alt-Ergo Documentation
Input file formats
Alt-Ergo’s native language
Syntax of declarations and expressions
Syntax of declarations and expressions
[TODO: intro + all] [Full definition of the syntax in (restricted) BNF]