| R-En/Comp | R-En/Proof |
|---|---|
| computation | proof |
| let := | have from |
| lambda | assume |
| call | use〈using〉 |
| providing return | suffices because |
| where := | try〈attemp〉 改行 |
| return of | showed from |
- 同義語： obtain, show, clarify, describe, indicate, exhibit, prove, compute
- 同義語： result, conclusion, target
- 冗長語： we, will, so, next
例：
- so we will try to clarify r: A ≡ try r: A
- it suffices to obtain x:X and y:X because the result comes from ... ≡ suffice x:X and y:Y because from ...
- so we showed the result from ... ≡ showed from ...
