graph

  • ...
    2023-04-22, by Shinji KONO
  • ...
    2023-04-21, by Shinji KONO
  • ...
    2023-04-21, by Shinji KONO
  • ...
    2023-04-21, by Shinji KONO
  • ...
    2023-04-13, by Shinji KONO
  • ...
    2023-04-11, by Shinji KONO
  • ...
    2023-04-11, by Shinji KONO
  • ...
    2023-04-11, by Shinji KONO
  • ...
    2023-04-11, by Shinji KONO
  • ...
    2023-04-10, by Shinji KONO
  • ...
    2023-04-10, by Shinji KONO
  • ...
    2023-04-10, by Shinji KONO
  • ...
    2023-04-10, by Shinji KONO
  • ...
    2023-04-10, by Shinji KONO
  • ...
    2023-04-10, by Shinji KONO
  • ...
    2023-04-09, by Shinji KONO
  • init 5 phils done without infinite loop
    2022-05-22, by Shinji KONO
  • Ok this is a termination bug og agda
    2022-05-16, by Shinji KONO
  • find infinite loop bug in Agda
    2022-05-16, by Shinji KONO
  • ...
    2022-05-16, by Shinji KONO
  • one step further on find
    2022-05-11, by Shinji KONO
  • fix context
    2022-05-10, by Shinji KONO
  • insertTree have some bug
    2022-05-07, by Shinji KONO
  • ...
    2022-05-06, by Shinji KONO
  • ...
    2022-05-05, by Shinji KONO
  • ...
    2022-05-05, by Shinji KONO
  • ...
    2022-05-05, by Shinji KONO
  • ...
    2022-05-05, by Shinji KONO
  • ...
    2022-05-03, by Shinji KONO
  • ...
    2022-04-19, by Shinji KONO
  • ...
    2021-12-07, by Shinji KONO
  • ...
    2021-12-05, by Shinji KONO
  • ...
    2021-12-05, by Shinji KONO
  • ..
    2021-12-05, by Shinji KONO
  • embedding invariant extentiion
    2021-12-05, by Shinji KONO
  • ...
    2021-12-05, by Shinji KONO
  • hoareBinaryTree done
    2021-12-05, by Shinji KONO
  • ...
    2021-12-04, by Shinji KONO
  • ...
    2021-12-04, by Shinji KONO
  • ...
    2021-12-04, by Shinji KONO
  • ...
    2021-12-04, by Shinji KONO
  • ...
    2021-12-03, by Shinji KONO
  • ...
    2021-12-02, by Shinji KONO
  • complete insertTreeP
    2021-12-02, by Shinji KONO
  • insertTreeP
    2021-12-01, by Shinji KONO
  • ...
    2021-12-01, by Shinji KONO
  • ...
    2021-12-01, by Shinji KONO
  • ...
    2021-12-01, by Shinji KONO
  • ...
    2021-12-01, by Shinji KONO
  • ...
    2021-11-30, by Shinji KONO
  • ...
    2021-11-30, by Shinji KONO
  • ...
    2021-11-30, by Shinji KONO
  • ...
    2021-11-29, by Shinji KONO
  • ...
    2021-11-29, by Shinji KONO
  • ...
    2021-11-29, by Shinji KONO
  • ...
    2021-11-29, by Shinji KONO
  • ...
    2021-11-29, by Shinji KONO
  • ...
    2021-11-29, by Shinji KONO
  • ...
    2021-11-29, by Shinji KONO
  • ...
    2021-11-29, by Shinji KONO