JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions

rocq-language-theorem-embeddings

1.52 kB

2 contributors

History: 1 commit

Andrei Kozyrev

initial commit

2151341 verified 8 months ago

.gitattributes

1.52 kB

initial commit 8 months ago