Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model github.com 7 points by adyashakti 17 days ago · 1 comment Reader PiP Save No comments yet.