# Index: Topics > Programming & Formal Methods

## 📝 Documents
- [[Type Theory]]