llm icon indicating copy to clipboard operation
llm copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community
→

Metadata

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

llm

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

← Metadata

21
Stars
0
Forks
Watchers

Owner

verified publisher icon leanprover-community

Metadata

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

Back