graph

  • ...
    2020-09-11, by Shinji KONO
  • ...
    2020-09-10, by Shinji KONO
  • ...
    2020-09-10, by Shinji KONO
  • ...
    2020-09-09, by Shinji KONO
  • ...
    2020-09-09, by Shinji KONO
  • ...
    2020-09-09, by Shinji KONO
  • ...
    2020-09-08, by Shinji KONO
  • ...
    2020-09-08, by Shinji KONO
  • ...
    2020-09-08, by Shinji KONO
  • ...
    2020-09-08, by Shinji KONO
  • ...
    2020-09-07, by Shinji KONO
  • ...
    2020-09-07, by Shinji KONO
  • ...
    2020-09-07, by Shinji KONO
  • ...
    2020-09-05, by Shinji KONO
  • ...
    2020-09-05, by Shinji KONO
  • ...
    2020-09-05, by Shinji KONO
  • ...
    2020-09-04, by Shinji KONO
  • sym3 done
    2020-09-04, by Shinji KONO
  • ...
    2020-09-04, by Shinji KONO
  • ...
    2020-09-04, by Shinji KONO
  • ...
    2020-09-04, by Shinji KONO
  • ...
    2020-09-04, by Shinji KONO
  • ...
    2020-09-03, by Shinji KONO
  • ...
    2020-09-03, by Shinji KONO
  • sym5 done
    2020-09-03, by Shinji KONO
  • ...
    2020-09-03, by Shinji KONO
  • check termination problem remains
    2020-09-03, by Shinji KONO
  • ...
    2020-09-03, by Shinji KONO
  • ...
    2020-09-02, by Shinji KONO
  • sym5 done but agda won'y stop
    2020-09-02, by Shinji KONO
  • ...
    2020-09-02, by Shinji KONO
  • ...
    2020-09-01, by Shinji KONO
  • FL iso done
    2020-09-01, by Shinji KONO
  • ...
    2020-09-01, by Shinji KONO
  • ...
    2020-09-01, by Shinji KONO
  • ...
    2020-09-01, by Shinji KONO
  • ...
    2020-09-01, by Shinji KONO
  • ...
    2020-09-01, by Shinji KONO
  • ... bad approach
    2020-09-01, by Shinji KONO
  • FL→iso done
    2020-09-01, by Shinji KONO
  • ...
    2020-09-01, by Shinji KONO
  • ...
    2020-08-31, by Shinji KONO
  • ...
    2020-08-31, by Shinji KONO
  • ...
    2020-08-31, by Shinji KONO
  • ...
    2020-08-31, by Shinji KONO
  • p=0
    2020-08-30, by Shinji KONO
  • pins done
    2020-08-29, by Shinji KONO
  • ...
    2020-08-29, by Shinji KONO
  • ...
    2020-08-29, by Shinji KONO
  • ...
    2020-08-29, by Shinji KONO
  • ...
    2020-08-29, by Shinji KONO
  • ...
    2020-08-28, by Shinji KONO
  • ...
    2020-08-28, by Shinji KONO
  • ...
    2020-08-28, by Shinji KONO
  • ...
    2020-08-28, by Shinji KONO
  • tc fix
    2020-08-27, by Shinji KONO
  • (x : Permutation 1 1 ) → x =p= pid
    2020-08-26, by Shinji KONO
  • ...
    2020-08-26, by Shinji KONO
  • ...
    2020-08-26, by Shinji KONO