JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions Community

rocq-language-theorem-embeddings / README.md

Commit History

Fix inconsistencies in README

23c2adf
verified

kdizzled commited on May 26

Update README.md

3930e7d
verified

kdizzled commited on May 20

Write model card

92e1006
verified

kdizzled commited on May 20

Update README.md

46a2044
verified

kdizzled commited on May 15

Create README.md

2091a03
verified

Andrei Kozyrev commited on Apr 30