Omkar2118/datasets huggingface dataset:
HolStep

HolStep is a dataset based on higher-order logic (HOL) proofs, for the purpose of developing new machine learning-based theorem-proving strategies. 

Source: [HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving](/paper/holstep-a-machine-learning-dataset-for-higher)

Introducing paper: HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving