G github.com LeanLLM: An LLM SDK for applications written in Lean 4 1 points hargup 20 days ago 0 comments
