Formal Axiomatization of Advaita Vedanta in Lean 4github.com1 point·hamiecod··0 commentsOpen articleSaveView on HN