Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
SPA
university
https://joshuaongg21.github.io/
Activity Feed
Follow
3
AI & ML interests
None defined yet.
Recent Activity
Jforeverss
updated
a dataset
about 2 hours ago
DiffLean/Formal-Proof-Verified
Jforeverss
updated
a dataset
1 day ago
DiffLean/Formal-Proof-Unverified
Jforeverss
published
a dataset
5 days ago
DiffLean/Formal-Proof-Verified
View all activity
Team members
3
models
0
None public yet
datasets
2
Sort: Recently updated
DiffLean/Formal-Proof-Verified
Updated
about 1 hour ago
•
7
DiffLean/Formal-Proof-Unverified
Viewer
•
Updated
1 day ago
•
503k
•
63