JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions

rocq-language-theorem-embeddings

2 contributors

History: 1 commit

Andrei Kozyrev

initial commit

2151341 verified 5 months ago

.gitattributes

1.52 kB

initial commit 5 months ago