Commit History

24 days ago

  1. Upload lean_lemma_retriever.py

    Verified signature
    ff241f2
  2. Upload build_18w_index.py

    Verified signature
    ca2d5fc
  3. Upload parse_lean_declarations.py

    Verified signature
    d7c04c9