llm

Interfacing with Large Language Models (remote and local) from Lean.