Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
A machine-verified formalization of Advaita Vedānta in Isabelle/HOL
github.com/matthew-scherf
3 points
okwhynot
8 months ago
2 comments
Loading...
A machine-verified formalization of Advaita Vedānta in Isabelle/HOL | Heykuki News