phanerozoic/Coq-Iris download history

phanerozoic/Coq-Iris is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 27 times (6 in the last 7 days), and 255 times in total. It ranks #297,781 among datasets by monthly downloads.

Coq-Iris Structured dataset from Iris, a higher-order concurrent separation logic framework for Coq. Source Repository: https://gitlab.mpi-sws.org/iris/iris Commit: 49cc21a1d9be19176b8546a5c5cb0076bf7b14e6 Files: 214 License: bsd-3-clause Schema C

Open phanerozoic/Coq-Iris on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.