「Mizar/本体部」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
1 行
begin
:--------------------------------------
:definition 定義式▼
:定義をする
:theorm 定理式▼
::[[Mizar 証明したい式|証明したい式]]▼
::定義式;
:::[[Mizar proof|proof]]▼
::::[[Mizar 変数定義|変数定義]]▼
:--------------------------------------
::::[[Mizar 証明|証明]]▼
:定理の証明を行う場合に付ける(absファイルで使えるようにするために必要)
::::[[Mizar 結果|結果]]▼
▲:::end;
:--------------------------------------
::end;
| |||