Giles Reger

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