JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions

rocq-language-theorem-embeddings / merges.txt

kdizzled's picture

Upload folder using huggingface_hub

4a9c3b7 verified 4 months ago

history contribute delete

456 kB

File too large to display, you can check the raw version instead.