refactor(Core/Logic/Modal): relocate Kripke foundation, boxR→box#40

github-actions[bot] merged 1 commit into

mainhawkrobe/linglib:mainfrom

kripke-to-modalhawkrobe/linglib:kripke-to-modalCopy head branch name to clipboard