JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions

rocq-language-theorem-embeddings

500 MB

2 contributors

History: 12 commits

kdizzled's picture

Update README.md

eb56d3b verified about 2 months ago