マルチステージ証明記述言語の設計と開発

科学研究費助成事業 研究成果報告書：挑戦的萌芽研究2015-2017課題番号 : 15K1200