証明

証明

ある命題が真であることを示す有限の記号列。

Coqでは、tacticとGallinaを使って記述される。

* はてなダイアリーキーワード:証明