G

Story

Formal Axiomatization of Advaita Vedanta in Lean 4

• 1
• 0
• hamiecod
• 2 days ago
• github.com