☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (1)
llm
Interfacing with Large Language Models (remote and local) from Lean.
llm
Interfacing with Large Language Models (remote and local) from Lean.