Mercurial > hg > Members > ryokka > HoareLogic
view Todo @ 83:cf5e6afbeb7c
fix
author | ryokka |
---|---|
date | Mon, 06 Jan 2020 16:02:31 +0900 |
parents | 575b849cab1a |
children | e152d7afbb58 |
line wrap: on
line source
Sun Dec 16 07:32:06 JST 2018 Gears の方に term condition を入れる initial condition に変数を入れる (証明でしか計算できないようにするため) Gears 側の証明をメタ計算的にする メタ計算以外は元の計算を保存する用にする