Hugging Face's logo
dassarthak18 's Collections
DY-Star-LLMs
DY-Star-Datasets

DY-Star-Datasets

Datasets for automating Dolev-Yao-Star proof generation.

Upvote
-