Geeks
adamtopaz
/
lean_embedding
A small interface between lean4 and openai's embedding API
Primary Language
Lean
lean_embedding GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Watchers
adamtopaz
eemailme