Datasetpublic

JilinHu/Isabelle-proof-synthesis

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes16downloads

Dataset Card

No card is published for this repository, or it could not be fetched from Hugging Face right now.