link to thebook.lean (#66)

mo271 · Oct 19, 2024 · f9fb97e · f9fb97e
1 parent a4b5674
commit f9fb97e
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -48,6 +48,12 @@ See [`CONTRIBUTING.md`](CONTRIBUTING.md) for details.
 A list of contributors can be found here: [AUTHORS](AUTHORS.md)
 or look at the [github stats](/~https://github.com/mo271/FormalBook/graphs/contributors).
 
+
+Some contributions come the repo
+[FordUniver/thebook.lean](/~https://github.com/FordUniver/thebook.lean),
+which also has a nice [blog](https://thebook.zib.de/) on the proofs formalized there.
+
+
 ## License
 
 Apache 2.0; see [`LICENSE`](LICENSE) for details.