-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
corpus: 2 宣言が重複エントリを持ち、validate.py が name の一意性を検査していない
bugSomething isn't workingSomething isn't workingStatus: Open.#150 In uda-lab/leray-hopf-notes;[P2][corpus]
sorryに推移的に依存する公開定理が verified として表示されるbugSomething isn't workingSomething isn't workingStatus: Open.#146 In uda-lab/leray-hopf-notes;[P3][site] 静的宣言ページの読者体験 — KaTeX 事前レンダリングと SPA への水和
enhancementNew feature or requestNew feature or requestStatus: Open.#141 In uda-lab/leray-hopf-notes;[P3][site] 宣言名が衝突する場合、wikilink が誤った宣言へ黙って解決する
bugSomething isn't workingSomething isn't workingStatus: Open.#139 In uda-lab/leray-hopf-notes;[P3][security] 確立された secret scanner を補助層として評価し、#32 の Known Limits を再訪する
enhancementNew feature or requestNew feature or requestStatus: Open.#136 In uda-lab/leray-hopf-notes;- Status: Open.#115 In uda-lab/leray-hopf-notes;