1 citations · 3 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 1 cited
Formalization of physics index notation in Lean 4
Joseph Tooby-Smith
The physics community relies on index notation to effectively manipulate types of tensors. This paper introduces the first formally verified implementation of index notation in the…
hep-ph2024★ 1 cited
HepLean: Digitalising high energy physics
Joseph Tooby-Smith
We introduce HepLean, an open-source project to digitalise definitions, theorems, proofs, and calculations in high energy physics using the interactive theorem prover Lean 4. HepLe…