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.
lake exe KiteModal
lake exe KiteArith
This repository was archived by the owner on Mar 8, 2025. It is now read-only.