ProofCafe - 名古屋を中心に活動する定理証明器・関数型言語のコミュニティ
名古屋を中心に活動する定理証明器・関数型言語のコミュニティ
www.proofcafe.org