Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formal Axiomatization of Advaita Vedanta in Lean 4
github.com/matthew-scherf
1 point
hamiecod
6 months ago
No comment yet
Formal Axiomatization of Advaita Vedanta in Lean 4 | Heykuki News