Datasetpublic

JilinHu/Isabelle-proof-synthesis

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes16downloads

2 commits on main

3d3be4d1y ago

Upload 4 files

JilinHu

99c12ce1y ago

initial commit

JilinHu