Skip to content

Harmonized Axiom 3 for Minkowski and Lorentz spacetimes - #44

Merged
KellyJDavis merged 6 commits into
mainfrom
numina/aqft-in-lean
Oct 8, 2026
Merged

KellyJDavis merged 6 commits into
mainfrom
numina/aqft-in-lean

Remove web.paux and ignore it in future

c0e1c24
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build
succeeded Oct 8, 2026 in 4m 51s