北窓

数学と Lean Prover が好きです。 アイコンは昔「みーなのキャラメータβ版」で作成したもの。