leanprover-community/llm
Interfacing with Large Language Models (remote and local) from Lean.
LeanApache-2.0
Stargazers
- alcidesLASIGE, University of Lisbon
- alexjbestKing's College London
- alokBerkeley, CA
- alreadydoneHeidelberg / Shenzhen
- AnderssorbySopra Steria
- beike-zh
- BrentKylling
- EricGT
- fyradur
- GanjinZeroDAMO Academy
- iehalityTohoku University
- intsucJapan
- jakeswensonSalesforce
- nikitavoloboevTbilisi
- onehrEarth
- Peiyang-SongCalifornia Institute of Technology
- sadeghi1364usa
- SnO2WMaNチルノのパーフェクトさんすう教室
- sudeepanIndian Institute of Science
- utensil
- XiaoZ259
- yangky11Meta Fundamental AI Research (FAIR)