matthew-scherf/Only-One

3 best points · 2 comments · 1 Hacker News post · View on GitHub

Hacker News discussions

• A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (3 points, 2 comments, by okwhynot, 2025-10-16)