LeanLLM: An LLM SDK for applications written in Lean 4

 (github.com)

1 points | by hargup 8 hours ago ago

No comments yet.