log

age author description
2019-12-09 ryokka coinduction
2019-12-09 ryokka add whileTestCondition
2019-12-09 ryokka close
2019-12-09 ryokka add whileTestCondition
2018-12-24 Shinji KONO rename modules
2018-12-24 Shinji KONO separate prim program
2018-12-24 Shinji KONO separate Hoare with whileTestPrim
2018-12-24 Shinji KONO fix module relation
2018-12-24 Shinji KONO Hoare and Relop done
2018-12-24 Shinji KONO fix
2018-12-24 Shinji KONO add Hoare again
2018-12-16 Shinji KONO add Gears1
2018-12-16 ryokka add comment
2018-12-16 Shinji KONO Prim variable version done
2018-12-15 Shinji KONO make 10 variable
2018-12-15 Shinji KONO add todo
2018-12-15 Shinji KONO add utilitites
2018-12-15 Shinji KONO finish
2018-12-15 Shinji KONO proof completed
2018-12-15 Shinji KONO add some proof
2018-12-15 Shinji KONO add proofs
2018-12-14 Shinji KONO fix test1
2018-12-14 Shinji KONO fix whileTestGears
2018-12-14 ryokka add future code proofGears
2018-12-14 ryokka add whileTestGears
2018-12-14 Shinji KONO add simple Hoare logic example
2018-12-13 ryokka add HTProof
2018-12-13 ryokka modify Hoare-Logic base
2018-12-13 ryokka add Hoare.agda , whileTest.agda