This repository was archived by the owner on May 15, 2023. It is now read-only.
This repository was archived by the owner on May 15, 2023. It is now read-only.
Missing Dataset #38
Description
Hi,
I would like to download deep-hol proofs and training data by following the instruction from https://sites.google.com/view/holist/home, the prompt suggests that HTTP request sent, awaiting response... 404 Not Found. It seems like the specified bucket does not exist.
Is it possible to obtain the deep-hol data by other instructions or could you please help me figure it out? Thanks in advance!