Jize Jiang

jizej's activity

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

New activity in brando/Coq-Gym-Data-Set 6 months ago

Add data structure to README.md

#7 opened 6 months ago by

jizej

upload lemma definitions

#6 opened 6 months ago by

jizej

Upload dataset

1

#5 opened 9 months ago by

jizej

Upload dataset

#3 opened about 1 year ago by

jizej

New activity in brando/Coq-Gym-Data-Set about 1 year ago

Upload dataset

#2 opened about 1 year ago by

jizej

test commit

#1 opened about 1 year ago by

jizej