About sou7
SimutransとかFactorioとかを遊ぶのが好き。なろう小説をたくさん読む。ArchLinuxとNixOSを使ってる。定理証明支援系Rocqを使う。
Lists
sou7 has no public lists
Timeline
sou7 has no activity yet
SimutransとかFactorioとかを遊ぶのが好き。なろう小説をたくさん読む。ArchLinuxとNixOSを使ってる。定理証明支援系Rocqを使う。
sou7 has no public lists
sou7 has no activity yet