Zulip Chat Archive
Stream: Natural sciences
Topic: interesting talk on Dirac notation at POPL
Alok Singh (Jan 20 2025 at 19:36):
Does lean have the ability to do this? I know it doesn’t currently interface with mathematica but could one day eat its lunch (in principle anyway)
Joseph Tooby-Smith (Jan 21 2025 at 06:25):
@Alok Singh do you happen to know if this talk is being streamed publicly or will be recorded or anything?
Matteo Cipollina (Jan 21 2025 at 12:42):
https://arxiv.org/abs/2411.11617
Last updated: May 02 2025 at 03:31 UTC