[Advaita-l] A formalization of Advaita Vedanta

[jaldhar at braincells.com]

https://github.com/matthew-scherf/Only-One

The author has used mathematical theorem-proving software to show that
the propositions of Advaita Vedanta as systemized by Shankaracharya are 
logically consistent and coherent.

This is not the same as proving Advaita Vedanta is true.  That can only be 
realized through direct experience but it should dispel the canard that 
Vedanta is "mere mysticism".


-- 
Jaldhar H. Vyas <jaldhar at braincells.com>