desaxce/numinamath-lean-filtered-v2
Viewer
•
Updated
•
9.42k
•
5
Hugues de Saxcé
desaxce
AI & ML interests
None yet
Recent Activity
updated
a dataset
about 2 months ago
desaxce/numinamath-lean-filtered-v2
published
a dataset
about 2 months ago
desaxce/numinamath-lean-filtered-v2
updated
a dataset
about 2 months ago
desaxce/filtered-numinamath-lean
Organizations
