Eigenverse LM — 552 Lean theorems, 0 sorry
Train neural networks grounded in the Eigenverse
552 Lean theorems, 0 sorry — quantum on classical