LoginSignup

須原 浩道

@suharahiromichi

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

location_on

愛知県犬山市

work

ProofCafe - 名古屋Coq勉強会

Following Organizations

No Organizations you are following