home.md

 ## Theory
 
-Formalization underlying the language is available on the following [page](formalization)
+Formalization underlying the language is available on the following [page](theory)
 
 ## Specification