Formal Axiomatization of Advaita Vedanta in Lean 4(github.com)1 points·by hamiecod·7 bulan yang lalu·0 commentsgithub.comFormal Axiomatization of Advaita Vedanta in Lean 4https://github.com/matthew-scherf/Advaita0 commentsPost comment—