Formal Axiomatization of Advaita Vedanta in Lean 4 #1 Post by hamiecod » Sat, Dec 13, 2025, 3:51 PM UTC Formal Axiomatization of Advaita Vedanta in Lean 4github.com