LeanLLM: An LLM SDK for applications written in Lean 4

1 points | by hargup 8 hours ago