Kites of Logics

Archived: This repository is integrated into Foundation now.

Visualization for sublogic/subtheory relations of modal logics/first-order arithmetics in https://github.com/FormalizedFormalLogic/Foundation.

Modal Logics

lake exe KiteModal

lake exe KiteArith

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
.github/workflows		.github/workflows
LogicsKite		LogicsKite
.gitignore		.gitignore
Arith.lean		Arith.lean
Arith.typ		Arith.typ
LogicsKite.lean		LogicsKite.lean
Modal.lean		Modal.lean
Modal.typ		Modal.typ
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain