Simontwice/premise_selection_in_isabelle
Preview
• Updated
• 19 • 12
Xiao Ma
d94181xm
·
AI & ML interests
None yet
Recent Activity
liked
a dataset 8 days ago
Simontwice/premise_selection_in_isabelle Organizations
liked a dataset 8 days ago