Formal Axiomatization of Advaita Vedanta in Lean 4github.com/matthew-scherf1 pointhamiecod6 months ago