graph

  • P Q
    2020-12-06, by Shinji KONO
  • section?
    2020-12-06, by Shinji KONO
  • ...
    2020-12-06, by Shinji KONO
  • ...
    2020-12-06, by Shinji KONO
  • ...
    2020-12-06, by Shinji KONO
  • restart anyComm
    2020-12-05, by Shinji KONO
  • Q Q1
    2020-12-05, by Shinji KONO
  • ...
    2020-12-05, by Shinji KONO
  • ...
    2020-12-05, by Shinji KONO
  • ...
    2020-12-05, by Shinji KONO
  • anyComm
    2020-12-05, by Shinji KONO
  • ...
    2020-12-05, by Shinji KONO
  • ...
    2020-12-04, by Shinji KONO
  • ...
    2020-12-04, by Shinji KONO
  • ...
    2020-12-02, by Shinji KONO
  • ...
    2020-12-02, by Shinji KONO
  • ...
    2020-12-02, by Shinji KONO
  • ...
    2020-12-01, by Shinji KONO
  • ...
    2020-12-01, by Shinji KONO
  • comm8
    2020-11-30, by Shinji KONO
  • TERMINATING AnyFList
    2020-11-30, by Shinji KONO
  • ...
    2020-11-30, by Shinji KONO
  • insAny
    2020-11-29, by Shinji KONO
  • ...
    2020-11-29, by Shinji KONO
  • ...
    2020-11-29, by Shinji KONO
  • ...
    2020-11-29, by Shinji KONO
  • ...
    2020-11-29, by Shinji KONO
  • ...
    2020-11-29, by Shinji KONO
  • ...
    2020-11-29, by Shinji KONO
  • ...
    2020-11-28, by Shinji KONO
  • ...
    2020-11-28, by Shinji KONO
  • ...
    2020-11-28, by Shinji KONO
  • ...
    2020-11-28, by Shinji KONO
  • remove gen/uni from Commutator
    2020-11-28, by Shinji KONO
  • ...
    2020-11-27, by Shinji KONO
  • ...
    2020-11-26, by Shinji KONO
  • ...
    2020-11-26, by Shinji KONO
  • Any based proof computation done fresh-list
    2020-11-26, by Shinji KONO
  • ... almost ...
    2020-11-25, by Shinji KONO
  • ...
    2020-11-25, by Shinji KONO
  • ...
    2020-11-25, by Shinji KONO
  • dead end
    2020-11-25, by Shinji KONO
  • ...
    2020-11-25, by Shinji KONO
  • ∀Flist non terminating
    2020-11-24, by Shinji KONO
  • ...
    2020-11-24, by Shinji KONO
  • ...
    2020-11-24, by Shinji KONO
  • ...
    2020-11-24, by Shinji KONO
  • AnyFList
    2020-11-23, by Shinji KONO
  • ... on going
    2020-11-23, by Shinji KONO
  • ... ?
    2020-11-23, by Shinji KONO
  • ... ?
    2020-11-23, by Shinji KONO
  • ...
    2020-11-23, by Shinji KONO
  • close this
    2020-11-23, by Shinji KONO
  • ...
    2020-11-23, by Shinji KONO
  • should be a = a'
    2020-11-22, by Shinji KONO
  • ...
    2020-11-22, by Shinji KONO
  • ...
    2020-11-22, by Shinji KONO
  • ...
    2020-11-22, by Shinji KONO
  • sized fresh list
    2020-11-22, by Shinji KONO
  • ...
    2020-09-20, by Shinji KONO
  • ...
    2020-09-20, by Shinji KONO
  • ...
    2020-09-18, by Shinji KONO
  • ...
    2020-09-18, by Shinji KONO
  • ...
    2020-09-18, by Shinji KONO
  • ...
    2020-09-15, by Shinji KONO
  • ...
    2020-09-15, by Shinji KONO
  • FLinsert-mb
    2020-09-14, by Shinji KONO
  • ...
    2020-09-13, by Shinji KONO
  • FLutil
    2020-09-13, by Shinji KONO
  • FLinsert done
    2020-09-13, by Shinji KONO
  • ...
    2020-09-12, by Shinji KONO
  • ...
    2020-09-12, by Shinji KONO
  • ...
    2020-09-12, by Shinji KONO
  • ...
    2020-09-12, by Shinji KONO
  • ...
    2020-09-11, by Shinji KONO
  • ...
    2020-09-11, by Shinji KONO
  • ...
    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
  • ...
    2020-08-26, by Shinji KONO
  • ... pleq worked
    2020-08-26, by Shinji KONO
  • plist0
    2020-08-26, by Shinji KONO
  • ...
    2020-08-26, by Shinji KONO
  • ...
    2020-08-26, by Shinji KONO
  • ...
    2020-08-25, by Shinji KONO
  • ...
    2020-08-25, by Shinji KONO
  • rot3 corret?
    2020-08-25, by Shinji KONO
  • 3rot
    2020-08-25, by Shinji KONO
  • ...
    2020-08-25, by Shinji KONO
  • ...
    2020-08-25, by Shinji KONO
  • add utilties
    2020-08-24, by Shinji KONO
  • sym2 done
    2020-08-24, by Shinji KONO
  • ...
    2020-08-24, by Shinji KONO
  • ...
    2020-08-24, by Shinji KONO
  • ∀-FL : (n : ℕ ) → List (FL (suc n))
    2020-08-24, by Shinji KONO
  • ...
    2020-08-24, by Shinji KONO
  • ...
    2020-08-24, by Shinji KONO
  • postulate
    2020-08-24, by Shinji KONO
  • ...
    2020-08-24, by Shinji KONO
  • ...
    2020-08-24, by Shinji KONO
  • another shrink
    2020-08-24, by Shinji KONO
  • perm→FL done. pprep fix.
    2020-08-24, by Shinji KONO
  • ...
    2020-08-23, by Shinji KONO
  • ...
    2020-08-23, by Shinji KONO
  • shrink worked
    2020-08-23, by Shinji KONO
  • ...
    2020-08-23, by Shinji KONO
  • ...
    2020-08-23, by Shinji KONO
  • ...
    2020-08-23, by Shinji KONO
  • connected
    2020-08-23, by Shinji KONO
  • ...
    2020-08-23, by Shinji KONO
  • ...
    2020-08-23, by Shinji KONO
  • ...
    2020-08-23, by Shinji KONO
  • remove (fromℕ≤ a<sa) perm is no good
    2020-08-22, by Shinji KONO
  • cleanup
    2020-08-21, by Shinji KONO
  • enumerating permutation done
    2020-08-21, by Shinji KONO
  • eperm done?
    2020-08-21, by Shinji KONO
  • ...
    2020-08-21, by Shinji KONO
  • start again
    2020-08-20, by Shinji KONO
  • this pconcat is no good
    2020-08-20, by Shinji KONO
  • ...
    2020-08-20, by Shinji KONO
  • ...
    2020-08-20, by Shinji KONO
  • ...
    2020-08-20, by Shinji KONO
  • ...
    2020-08-20, by Shinji KONO
  • ...
    2020-08-20, by Shinji KONO
  • emumelation done
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • inductive
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • fperm connected
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • try again
    2020-08-19, by Shinji KONO
  • dead end
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • ...
    2020-08-19, by Shinji KONO
  • ...
    2020-08-18, by Shinji KONO
  • ...
    2020-08-18, by Shinji KONO
  • ...
    2020-08-18, by Shinji KONO
  • ...
    2020-08-18, by Shinji KONO
  • ...
    2020-08-18, by Shinji KONO
  • ...
    2020-08-18, by Shinji KONO
  • ...
    2020-08-18, by Shinji KONO
  • ...
    2020-08-18, by Shinji KONO
  • ...
    2020-08-17, by Shinji KONO
  • Gutil
    2020-08-17, by Shinji KONO
  • ...
    2020-08-17, by Shinji KONO
  • ...
    2020-08-17, by Shinji KONO
  • ...
    2020-08-17, by Shinji KONO
  • ...
    2020-08-17, by Shinji KONO
  • ...
    2020-08-17, by Shinji KONO
  • deriving-inv done
    2020-08-17, by Shinji KONO
  • ...
    2020-08-17, by Shinji KONO
  • ...
    2020-08-17, by Shinji KONO
  • ...
    2020-08-16, by Shinji KONO
  • add Solvable
    2020-08-16, by Shinji KONO
  • Permutation Group
    2020-08-16, by Shinji KONO
  • ...
    2020-08-16, by Shinji KONO
  • ...
    2020-08-16, by Shinji KONO
  • Permutation group
    2020-08-16, by Shinji KONO