JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions

rocq-language-theorem-embeddings / README.md

Commit History

Update README.md

eb56d3b
verified

kdizzled commited on Oct 18, 2025

Fix inconsistencies in README

23c2adf
verified

kdizzled commited on May 26, 2025

Update README.md

3930e7d
verified

kdizzled commited on May 20, 2025

Write model card

92e1006
verified

kdizzled commited on May 20, 2025

Update README.md

46a2044
verified

kdizzled commited on May 15, 2025

Create README.md

2091a03
verified

Andrei Kozyrev commited on Apr 30, 2025