1 paper · 1 filter
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…