jinshanmu/CrouzeixConjecture
@jinshanmuResearch draft of a candidate proof of Crouzeix's conjecture
スター
509
フォーク
71
言語
Lean
ライセンス
—
最終プッシュ
4 週間前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。