Yamana

@gAuk

67Contributions

10
Posts 1
Followees 0
Followers

Following Organizations

No Organizations you are following

Following tags(4)See all

Scheme Git Haskell C++

Followees

須原浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。