Hugging Face model: pkuAI4M/mathlib_formal_v4.24.0
Author: pkuAI4M
Created: 2025-12-21 19:42:51
Last modified: 2025-12-21 19:50:57
Likes: 1 | Downloads: 0
Tags: license:apache-2.0, region:us
Card metadata:
license: apache-2.0