Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta modelgithub.com/SpecStudio-net 7 pointsadyashakti3 months agodiscussSaveHideCopy link On HNComments No comments yet.
Comments
No comments yet.