Last released Jun 2, 2026
Viveka — a witness-centered filter layer for LLM applications, built on the Scherf Logic API
Witness-centered AI foundation library — a Python encoding of Matthew Scherf's machine-verified Lean 4 formalization of Advaita Vedānta
Supported by