The Proven Word

One line of Sanskrit, three translations, three visions of reality. Bhartṛhari asked whether the world itself is woven of words. This book answers him with proof: every verse of his Brahmakāṇḍa checked against its commentary in the Lean theorem prover, where the oldest art of meaning meets the newest test of truth.