LoginSignup

須原 浩道

@suharahiromichi

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

Location

愛知県犬山市

Organization

ProofCafe - 名古屋Coq勉強会

Following Organizations

No Organizations you are following