Singular

This site is still under development. In particular, building the documentation will be made user friendly. For what is already available, check here:

1. Guidelines
2. Formal checker
3. Building docu