JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions

rocq-language-theorem-embeddings

Commit History

Create README.md

2091a03
verified

Andrei Kozyrev commited on Apr 30

initial commit

2151341
verified

Andrei Kozyrev commited on Apr 30