ProvabilityLogic

Lean 4 Mechanization about Provability Logics

Documentation

See CONTRIBUTING.md for the contribution flow and contribute/style.md for the coding conventions.

Name		Name	Last commit message	Last commit date
.claude		.claude
.github/workflows		.github/workflows
ProvabilityLogic		ProvabilityLogic
ProvabilityLogicPlayground/LabelledGentzen		ProvabilityLogicPlayground/LabelledGentzen
contribute		contribute
.bibtoolrsc		.bibtoolrsc
.editorconfig		.editorconfig
.gitignore		.gitignore
.mcp.json		.mcp.json
AGENTS.md		AGENTS.md
CONTRIBUTING.md		CONTRIBUTING.md
Justfile		Justfile
LICENSE		LICENSE
ProvabilityLogic.lean		ProvabilityLogic.lean
ProvabilityLogicPlayground.lean		ProvabilityLogicPlayground.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
references.bib		references.bib