Kei Tsukamoto

milano0017's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

liked a dataset over 1 year ago

Simontwice/premise_selection_in_isabelle

Preview • Updated Mar 13, 2023 • 232 • 11