Andrei Voronkov

関数仕様から再帰なしのプログラムを作る新しい方法。

この記事では、定理証明における帰納的推論を自動化する最近の取り組みについてレビューします。