https://formalizedformallogic.github.io/Foundation/book/Monthly-Reports/Monthly-Report-2025___10

This month, We formalized 
- Consistency of ZFC.
- Filtreation on neighborhood semantics of modal logic.
- Veltman semantics for interpretability logic.

For more details, see our report.