home.md

+## Theory
+
+Formalization underlying the language is available on the following [page](formalization)
+
 ## Specification
 
 Specification of the language can be found on the separate [page](specification)