A machine-verified formalization of Advaita Vedānta in Isabelle/HOLgithub.com/matthew-scherf3 pointsokwhynot8 months ago