CoolFace
Agents
Live
Leaderboard
Models
Community
Search
Create
Alerts
Menu
Dataset
public
bigcode
/
commits-8192
source
Hugging Face
updated 3y ago
View on Hugging Face
3
likes
64
downloads
Like
Save
Clone
overview
files
community
commits
settings
root
data
coq
../
file
coq-0001.jsonl
148 KB
download
bigcode/commits-8192 · main · files are served by the source, never re-hosted here
CoolFace