Sure, Lean 4 can reason about chemical physics:https://t.co/Wmcy7rybyh https://t.co/2qzjU3tL2G

Posters: davidad. davidad

5 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/davidad/status/1826314639933931639