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

Add code button
avatar
Github Icontensorflow/deepmath/tree/master/holstep_baselines

Human or AI?

Log in/sign up for free to see all code implementations