anthropics / anthropics/fermats-last-theorem
Def_ModularCurve_CycSubRootBridge.lean
Ouverte
- Langage dominant
- Lean
- Étoiles
- 1.1k
- Forks
- 95
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
I am trying to just build the Definitions so I least I can look at the Definitions in VSCode. A few definition files also pull in content from Theorems. This one is particularly bad. It has taken a long time to build which seem to contradict the intention? Can you package them differently?
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.