Modelpublic

pkuAI4M/mathlib_formal_v4.24.0

sourceHugging Faceapache-2.0updated 10mo agoView on Hugging Face

1likes

settings

This repository belongs to pkuAI4M on Hugging Face.

Team Ai never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

namemathlib_formal_v4.24.0

visibilitypublic

licenceapache-2.0

gatedno

ownerpkuAI4M