LeanLLM: An LLM SDK for applications written in Lean 4github.com1 point·hargup··0 commentsOpen articleSaveView on HN