Redesign Modal Logic

Test project for modal logic redesigning.

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
Fin74		Fin74
ModalLogicArchive		ModalLogicArchive
.editorconfig		.editorconfig
.gitignore		.gitignore
Fin74.lean		Fin74.lean
ModalLogicArchive.lean		ModalLogicArchive.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Provide feedback