log

age author description
2020-03-04 ryokka modify
2020-03-04 ryokka fix old binary tree
2020-02-26 ryokka writing invaliant
2020-02-26 ryokka add new BinaryTree
2020-01-20 ryokka fix
2020-01-16 ryokka ...
2020-01-16 ryokka fix
2020-01-15 ryokka add comment
2019-12-06 kono bt-replace-hoare
2019-12-06 ryokka fix
2019-12-06 Shinji KONO use <=
2019-12-06 Shinji KONO ...
2019-12-06 Shinji KONO minor fix
2019-12-05 ryokka add data bt', and some function
2019-12-05 ryokka add insert code
2019-12-04 ryokka isolate search function problem, and add hoareBinaryTree.agda.
2019-11-07 ryokka Add 'non inductiove record' tree, findT, replaceT, and insertT
2019-11-03 Shinji KONO ...
2019-11-02 Shinji KONO add replaceNode
2019-11-02 Shinji KONO ...
2019-11-02 Shinji KONO ...
2019-11-02 Shinji KONO ...
2019-11-02 Shinji KONO ...
2019-11-02 Shinji KONO use list base simple stack
2019-11-01 ryokka modify findNode1
2019-11-01 ryokka Temporary Push
2019-11-01 ryokka push local rbtree
2018-08-16 ryokka add queue.agda
2018-05-06 Shinji KONO ...
2018-04-27 Shinji KONO use lemma5 to follow stack