GitHub repository: leanprover-community/llm
Primary language: Lean
Created: 2023-05-05T06:51:18Z
Description: Interfacing with Large Language Models (remote and local) from Lean.