Panagiotis Manolios

計算証明や証明チェッカーを使って形式的な推論を教えるための体系的なアプローチ。