Formalized Formal Logic
Formalized Formal Logic
Table of Contents
1.
First Order
2.
Arithmetic
3.
Set Theory
4.
Modal Logic
5.
Interpretability Logic
Monthly Reports
Monthly Reports
Monthly Report 2025/10
Source Code
Report Issues
←
5. Interpretability Logic
Monthly Report 2025/10
→
Monthly Reports
🔗
These are monthly reports of our formalized results in FFL.
Monthly Report 2025/10
←
5. Interpretability Logic
Monthly Report 2025/10
→
