CARINE

theorem prover, a mathematical concept

en-US/kɑˈɹini/

カテゴリ：

proof assistant