Jag har just kommit tillbaka från gymet..
Det är svårt att stå, sitta, röra mig, andas o.s.v.
Jag trodde att gymet skulle göra mig frisk och pigg!
Formalization of QFT?
-
There’s a new paper out on the Formalization of QFT, purporting to
formalize a QFT using Lean/Mathlib. I’ve been trying to avoid spending time
on the hot t...
Inga kommentarer:
Skicka en kommentar