Commits

• 7639aa03: add(FirstOrder/Kripke): constant domain (#673)

• 751f8b2c: refactor: Rename HRel to Rel (#672)

• f10384e5: refactor(Modal): Remove duplicate theorem iff_boxdot_GL_Grz (#671)

• 4af02f03: refactor(Propositional): Refactor (#670)

• c6777126: chore(deps): bump actions/cache from 4 to 5 (#669)

• c0fbe733: add(Propositional, Modal): NP is also modal companion of VF (#668)

• 70499203: refactor(Modal/PLoN): Refactor (#667)

• f9c7f562: add(Propositional/FMT): Add VF_Ser (#666)

• eda77489: docs: Monthly Reports 2025/11 (#654)

• 4042db29: add(Propositional, Modal): N ⊢ φᵍʷ then VF ⊢ φ (#661)

• 641a6616: add(Propositional, Modal): VF ⊢ φ then N ⊢ φᵍʷ (#660)

• 403e7473: add(Propositional): Add very weak Corsi's Logic VF (#659)

• c7d69332: ci: Cleanup cache when PR is closed (#657)

• a06253a3: add(Propositional): WF proves collectOrAnd (#658)

• 65f121f0: add(Propositioanl): Add weak Corsi's logic WF (#655)

• 738e8212: chore(deps): bump actions/checkout from 5 to 6 (#656)