Home

Jump to bottom

Dmitry Vlasov edited this page Feb 26, 2017 · 18 revisions

Here the description of Russell language is given.

Comments single- and multi-line
Expressions and their grammar
Assertions: axioms and theorems
Definitions: the derivative concepts
Proof language of Russell
Disjointed variables
Theories are essentially namespaces
Import of external files