Home

Russell language overview.

1. Comments single- and multi-line
2. Expressions and their grammar:
3. Constants
4. Types
5. Variables
6. Rules
7. Assertions: axioms and theorems
8. Definitions: the derivative concepts
9. Proof language of Russell
10. Disjointed variables
11. Theories: are essentially namespaces
12. Import of external files