/lean_embedding

A small interface between lean4 and openai's embedding API

Primary LanguageLean

No issues in this repository yet.