Interactive Theorem Proving

Coqを用いた数学的証明とソフトウェア開発のためのインタラクティブな手法を解説した書籍。 - 著者: Yves Bertot, Pierre Castéran - タイトル: Interactive Theorem Proving and Program Development - 出版社: Springer - シリーズ名: Texts in Theoretical Computer Science - ISBN: 978-3-540-00497-0 ご覧いただきありがとうございます。