Add CI/license badges, import graph link, and license section to README

Point badges and links at the renamed FormalizedFormalLogic/ProvabilityLogic
repository, and add a LICENSE section referencing the Apache License 2.0.

Co-Authored-By: Claude <noreply@anthropic.com>

Author: SnO2WMaN

README.md

@@ -1 +1,14 @@
-# ProvabilityLogic
+# ProvabilityLogic
+
+[![CI](https://github.com/FormalizedFormalLogic/ProvabilityLogic/actions/workflows/ci.yml/badge.svg)](https://github.com/FormalizedFormalLogic/ProvabilityLogic/actions/workflows/ci.yml)
+[![License: Apache 2.0](https://img.shields.io/github/license/FormalizedFormalLogic/ProvabilityLogic)](LICENSE)
+
+Lean 4 Mechanization about Provability Logics
+
+## Import graph
+
+[![Import graph](https://formalizedformallogic.github.io/ProvabilityLogic/import_graph.png)](https://formalizedformallogic.github.io/ProvabilityLogic/import_graph.png)
+
+## LICENSE
+
+[Apache License 2.0](LICENSE)