Zulip Chat Archive
Stream: Is there code for X?
Topic: tensor calculus
Anthony Bordg (Dec 29 2021 at 15:50):
Is tensor calculus formalized in mathlib (or in any other proof assistant)?
Patrick Massot (Dec 29 2021 at 16:04):
Not in mathlib, and not in any other proof assistant as far as I know.
Patrick Massot (Dec 29 2021 at 16:04):
mathlib isn't far, and Isabelle should be pretty close too.
Anthony Bordg (Dec 29 2021 at 16:10):
@Patrick Massot Thanks for your answer.
Last updated: Dec 20 2023 at 11:08 UTC