Downloads · 30 days
0
mathlib_formal_v4.24.0
pkuAI4M/mathlib_formal_v4.24.0
mathlib_formal_v4.24.0 is a machine learning model from pkuAI4M. Use it for the machine learning task on the model card, and read the license before you ship it in a product. The card lists the license as apache-2.0.
Access
Public
Updated Dec 21, 2025
Repo size
1.1 GB
Likes
1
Public
Repo makeup
Click a slice to open those files.
.sql1.1 GB · 100%
At a glance
- License
- apache-2.0
- Access
- Public
- Created
- Dec 21, 2025
- Updated
- Dec 21, 2025
- SHA
- c93e9e00
- License
- apache-2.0
- Created
- Dec 21, 2025
- Updated
- Dec 21, 2025