Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
math-comp/Abel: A proof of Abel-Ruffini theorem.
https://github.com/math-comp/Abel
Coq・SSReflect・MathCompを使ったアーベル – ルフィニの定理の証明。Nixを活用している。