—は日本語だと短すぎるので――で訳す.
| English | 日本語 | 備考 |
|---|---|---|
| canonical | 正準 | |
| lean theorem prover | (英語のまま) | |
| natural number game | (英語のまま) | |
| statement | ステートメント | |
| statement | 文 | 数学の定理以外のとき |
| theorem prover | 証明支援系 | |
| true/false statements | 命題 |
This repository has been archived by the owner on Oct 12, 2023. It is now read-only.