Hacker News new | ask | show | jobs
Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com)
1 points by hamiecod 194 days ago