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