ProvabilityLogic

Lean 4 Mechanization about Provability Logics

Contributing

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

Import graph

LICENSE

Apache License 2.0