From 064a4e2fd1ed9871ba6945b2b3103612aa73807b Mon Sep 17 00:00:00 2001 From: KellyJDavis Date: Mon, 15 Jun 2026 10:09:41 +0200 Subject: [PATCH] Added link to 'Formalising AQFT in Lean' --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index b611158..b502aab 100644 --- a/README.md +++ b/README.md @@ -49,6 +49,7 @@ It is in approximate chronological order, at least in the beginning of the list. * [Spectral theorem](https://oliver-butterley.github.io/SpectralThm/) * [Sphere packing](https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/) * [Radii Polynomial](https://ilpreterosso.github.io/LEANearized-RadiiPolynomial/) +* [Formalising AQFT in Lean](https://physicslib.github.io/physicslib4/) ## Installation