embeddinggemma-2-lean / scripts /lean_lemma_retriever.py

Commit History

25 days ago

  1. Upload lean_lemma_retriever.py

    Verified signature
    ff241f2