Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
AlphaUncommon

MoonshotAI/Kimina-Prover-Preview

Technical report of Kimina-Prover Preview.

Owner
MoonshotAI (organization)
Stars
Stars: 381
Forks
Forks: 33
Language
Python
License
None
Created
2025
Tier
Alpha (250 to 699 ★) What this tier means
View on GitHub

More repos by MoonshotAI

All 26 repos by MoonshotAI

Nearby in Python

All Python repos