1. Introduction
3. Getting started
4. 1. Setting up Specforge
   1. 1.1. Windows
   2. 1.2. macOS
   3. 1.3. Linux
   4. 1.4. Docker
   5. 1.5. LLM Provider Configuration
   6. 1.6. VSCode Extension
   7. 1.7. Python SDK
5. 2. Project Configuration
6. 3. A Whirlwind Tour
8. Lilo Language Reference
9. 4. Lilo Language
   1. 4.1. Language Basics
   2. 4.2. Systems
   3. 4.3. Modules
   4. 4.4. Components
   5. 4.5. Static Analysis
   6. 4.6. Additional Features
   7. 4.7. Conventions
10. 5. Semantics of Temporal Operators
12. Tools
13. 6. Exemplification and Satisfiability
14. 7. Data Files
15. 8. Falsification
16. 9. Online Monitoring
17. 10. Export to RTAMT
18. 11. VSCode Extension
19. 12. Python SDK
20. 13. Command Line Interface
22. Troubleshooting
23. 14. Troubleshooting Guide
25. Meta
26. 15. Changelog