provability-logic

Here are 3 public repositories matching this topic...

Lean 4 Mechanization about Provability Logics

Lean 4 formalization of a modal-axiomatic Gödel-Löb provability-logic substrate and Löb's theorem.

Parser and prover/solver for provability logics (GL, iGL, etc.)

go golang solver logic kripke-model provability-logic

To associate your repository with the provability-logic topic, visit your repo's landing page and select "manage topics."