matthew-scherf/Advaita

1 best points · 0 comments · 1 Hacker News post · View on GitHub

Hacker News discussions

• Formal Axiomatization of Advaita Vedanta in Lean 4 (1 points, 0 comments, by hamiecod, 2025-12-13)