Labelled Systems for Modal Logic

Name	Name	Last commit message	Last commit date
Latest commit SnO2WMaN fix Dec 19, 2024 ca19e3c · Dec 19, 2024 History 24 Commits
.github/workflows	.github/workflows	init	Nov 20, 2024
.vscode	.vscode	wip	Nov 21, 2024
LabelledSystem	LabelledSystem	fix	Dec 19, 2024
.editorconfig	.editorconfig	init	Nov 20, 2024
.gitignore	.gitignore	fix	Dec 19, 2024
LICENSE	LICENSE	Add LICENSE	Dec 6, 2024
LabelledSystem.lean	LabelledSystem.lean	fix	Dec 19, 2024
Main.lean	Main.lean	rename	Dec 5, 2024
README.md	README.md	rename	Dec 5, 2024
lake-manifest.json	lake-manifest.json	rename	Dec 5, 2024
lakefile.toml	lakefile.toml	rename	Dec 5, 2024
lean-toolchain	lean-toolchain	Labelled Gentzen, soundness	Dec 5, 2024

Provide feedback