Lean theorem proverの意味・使い方・読み方 | Weblio英和辞書

意味

ウィキペディア英語版

出典：Wikipedia

Lean theorem prover

出典:『Wikipedia』 (2010/02/12 14:12 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用: A lean theorem prover is an automated theorem prover implemented in a minimum amount of code. Lean provers are generally implemented in Prolog, and make proficient use of the backtracking engine and logic variables of that language. Lean provers can be as small as a few hundred bytes of source code.

調べた例文を記録して、効率よく覚えましょう

Weblio会員無料で登録できます

履歴機能過去に調べた単語を確認できる

語彙力診断診断回数が4回に増加

マイ単語帳便利な学習機能付き

マイ例文帳文章で意味を理解できる

Weblio会員登録(無料)はこちらから▶

閲覧履歴

検索結果に戻る

全履歴クリア

・Lean theorem prover
・pledging my time
・tachyplesin II
・MGC90626
・channel-select time
・MGC126471
・ISDN circuit
・super-Tuscan
・seymouriid
・spotted skunks

単語帳に追加

Lean theorem proverのページの著作権

Wikipedia
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのLean theorem prover (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。