embeddinggemma-2-lean / scripts /parse_lean_declarations.py

Commit History

24 days ago

  1. Upload parse_lean_declarations.py

    Verified signature
    d7c04c9