[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"IfoNsZRklG":3},"# ProvabilityLogic\n\n[![CI](https://github.com/FormalizedFormalLogic/ProvabilityLogic/actions/workflows/ci.yml/badge.svg)](https://github.com/FormalizedFormalLogic/ProvabilityLogic/actions/workflows/ci.yml)\n[![License: Apache 2.0](https://img.shields.io/github/license/FormalizedFormalLogic/ProvabilityLogic)](LICENSE)\n\nLean 4 Mechanization about Provability Logics\n\n## Contributing\n\nSee [CONTRIBUTING.md](CONTRIBUTING.md) for the contribution flow and [contribute/style.md](contribute/style.md) for the coding conventions.\n\n## Import graph\n\n[![Import graph](https://formalizedformallogic.github.io/ProvabilityLogic/import_graph.png)](https://formalizedformallogic.github.io/ProvabilityLogic/import_graph.png)\n\n## LICENSE\n\n[Apache License 2.0](LICENSE)\n",1785606378642]