You must be logged in to sponsor Seasawher
Become a sponsor to Kitamado
Featured work
-
Seasawher/graduate_exam
京都大学数学系の院試の問題と解答です
TeX 48 -
lean-ja/tactic-cheatsheet
Lean4 の逆引きタクティクリスト
Lean 15
Featured work
京都大学数学系の院試の問題と解答です
Lean4 の逆引きタクティクリスト