| Kakeya OProver LoRA derivative, 2026 FluffyAIcode. | |
| Base model: m-a-p/OProver-8B, Apache-2.0, revision cd9ffd383b584d95bf00e04b88b35b05928b211c. | |
| Training material derives from leanprover-community/mathlib4, Apache-2.0, revision 360da6fa66c1273b76b6b2d8c5666fd5ac2e3b56. | |