This page serves as a starting page for various experiments and new ideas to extend Dr. Botting's MATHS tools.
key word | purpose |
---|---|
Close | Terminate the last Net, Set, Let, List, Open |
For, for | Introduses quantifiers: all, some, 1, 0..1, ... |
fun | Function |
Let | Introduces a temporary assumption used to prove something else |
List | Start an ordered sequential list |
map | Indicates a map, function, \lambda |
Net | Introduces a collection of variables and constraints |
Open | Open a subsection of the document |
rel | Relation |
Row | An n-tpl of items separated by tabs in a Table |
Set, set | Introduces an unordered set of items |
Table | A table: an relation defined as a set of rows |
. . . . . . . . . ( end of section MATHS Experiments) <<Contents | Index>>