jinshanmu/CrouzeixConjecture
CrouzeixConjecture
Research draft of a candidate proof of Crouzeix's conjecture
522 Sterne72 ForksLeanLizenz variiert
Auf einen Blick
- Was ist das?
- Research draft of a candidate proof of Crouzeix's conjecture
- Darf ich es kommerziell nutzen?
- Nicht ohne Erlaubnis. GitHub findet in diesem Repository keine Lizenzdatei, und ohne Lizenz sind standardmäßig alle Rechte vorbehalten: Sie dürfen den Code lesen, aber nicht wiederverwenden. Prüfen Sie die README oder fragen Sie die Autoren, bevor Sie ihn nutzen.
- Wird es noch gepflegt?
- Ja. Die letzten Commits kamen vor 33 Tagen.
- In welcher Sprache ist es geschrieben?
- Hauptsächlich Lean, laut der Sprachstatistik von GitHub.
Die Antworten beruhen auf den GitHub-Daten des Projekts (zuletzt abgeglichen am 17. September 2026) und auf unserer Analyse. Sie sind keine Rechtsberatung.
Datenaktualität
Redaktionsstatus
Eine vollständige redaktionelle Analyse dieses Projekts ist noch nicht veröffentlicht. Die obigen Fakten stammen aus den öffentlichen GitHub-Metadaten. Prüfen Sie Repository, Lizenz und Issue-Tracker, bevor Sie es in Produktion einsetzen.
Community-Notizen