Model: pkuAI4M/mathlib_formal_v4.24.0
Author: pkuAI4M
Tags: license:apache-2.0, region:us
Card metadata: license: apache-2.0
Likes: 0 | All-time downloads: 0
Created: 2025-12-21 19:42:51