embeddinggemma-2-lean / data /declarations_18w.jsonl

Commit History

25 days ago

  1. Upload declarations_18w.jsonl (16.7万 精选 theorem)

    Verified signature
    179ebee