Mercurial > hg > Members > kono > Proof > galois
log Putil.agda @ 161:047efc82be47
age | author | description |
---|---|---|
2020-11-22 | Shinji KONO | sized fresh list |
2020-09-14 | Shinji KONO | FLinsert-mb |
2020-09-07 | Shinji KONO | ... |
2020-09-05 | Shinji KONO | ... |
2020-09-05 | Shinji KONO | ... |
2020-09-04 | Shinji KONO | ... |
2020-09-02 | Shinji KONO | ... |
2020-09-01 | Shinji KONO | ... |
2020-09-01 | Shinji KONO | FL iso done |
2020-09-01 | Shinji KONO | ... |
2020-09-01 | Shinji KONO | ... |
2020-09-01 | Shinji KONO | ... |
2020-09-01 | Shinji KONO | ... |
2020-09-01 | Shinji KONO | ... |
2020-09-01 | Shinji KONO | ... bad approach |
2020-09-01 | Shinji KONO | FL→iso done |
2020-09-01 | Shinji KONO | ... |
2020-08-31 | Shinji KONO | ... |
2020-08-31 | Shinji KONO | ... |
2020-08-31 | Shinji KONO | ... |
2020-08-31 | Shinji KONO | ... |
2020-08-30 | Shinji KONO | p=0 |
2020-08-29 | Shinji KONO | pins done |
2020-08-29 | Shinji KONO | ... |
2020-08-29 | Shinji KONO | ... |
2020-08-29 | Shinji KONO | ... |
2020-08-29 | Shinji KONO | ... |
2020-08-28 | Shinji KONO | ... |
2020-08-28 | Shinji KONO | ... |
2020-08-28 | Shinji KONO | ... |
2020-08-28 | Shinji KONO | ... |
2020-08-27 | Shinji KONO | tc fix |
2020-08-26 | Shinji KONO | (x : Permutation 1 1 ) → x =p= pid |
2020-08-26 | Shinji KONO | ... |
2020-08-26 | Shinji KONO | plist0 |
2020-08-26 | Shinji KONO | ... |
2020-08-25 | Shinji KONO | 3rot |
2020-08-25 | Shinji KONO | ... |
2020-08-24 | Shinji KONO | ∀-FL : (n : ℕ ) → List (FL (suc n)) |
2020-08-24 | Shinji KONO | ... |
2020-08-24 | Shinji KONO | ... |
2020-08-24 | Shinji KONO | postulate |
2020-08-24 | Shinji KONO | ... |
2020-08-24 | Shinji KONO | ... |
2020-08-24 | Shinji KONO | another shrink |
2020-08-24 | Shinji KONO | perm→FL done. pprep fix. |
2020-08-23 | Shinji KONO | ... |
2020-08-23 | Shinji KONO | ... |
2020-08-23 | Shinji KONO | shrink worked |
2020-08-23 | Shinji KONO | ... |
2020-08-23 | Shinji KONO | ... |
2020-08-23 | Shinji KONO | ... |
2020-08-23 | Shinji KONO | connected |
2020-08-23 | Shinji KONO | ... |
2020-08-23 | Shinji KONO | ... |
2020-08-23 | Shinji KONO | ... |
2020-08-22 | Shinji KONO | remove (fromℕ≤ a<sa) perm is no good |
2020-08-21 | Shinji KONO | cleanup base Symmetric.agda@267fc875c5ba |