Job c2coq

Filename	Size	IA Identifier
theory.stanford.edu-inf-20210926-224459-c2coq-00000.warc.gz	27558047	archiveteam_archivebot_go_20210926200003
theory.stanford.edu-inf-20210926-224459-c2coq-meta.warc.gz	42902	archiveteam_archivebot_go_20210926200003
theory.stanford.edu-inf-20210926-224459-c2coq.json	252	archiveteam_archivebot_go_20210926200003