定理証明系や論理プログラミングに興味をもっています。
Location
愛知県犬山市
Organization
ProofCafe - 名古屋Coq勉強会
Following Organizations
No Organizations you are following
Following Organizations
No following Organizations
Find Organizations to follow
Search Organizations定理証明系や論理プログラミングに興味をもっています。
愛知県犬山市
ProofCafe - 名古屋Coq勉強会
No Organizations you are following
No following Organizations
Find Organizations to follow
Search Organizations