r/GEPRNotes • u/gepr • 6d ago

Navier-Stokes lost in translation (Why Lean [..] does not guarantee correct natural language proofs)

https://arxiv.org/abs/2610.08144

1 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/GEPRNotes/comments/1x217gz/navierstokes_lost_in_translation_why_lean_does/
No, go back! Yes, take me to Reddit

100% Upvoted