Published February 3, 2023 | Version v1
Dataset Open

Models and data for coq-proof-difficulty

Authors/Creators

  • 1. Anonymous

Description

Models and data for the coq-proof-difficulty project.

Files

data.zip

Files (3.4 GB)

Name Size Download all
md5:77d0c9699af4b118b5407844c50239b6
3.4 GB Preview Download