Age | Commit message (Expand) | Author |
---|---|---|
2022-04-21 | Aspell | Franciszek Malinka |
2022-04-21 | Main proof maybe finished | Franciszek Malinka |
2022-04-20 | Main proof | Franciszek Malinka |
2022-03-28 | dokonczony dowod | Franciszek Malinka |
2022-03-28 | Update, wip ostry | Franciszek Malinka |
2022-03-27 | Zaczątki klasy fraissego dla grafow z automorfizmem | Franciszek Malinka |
2022-03-26 | Zmiana kolejności mała | Franciszek Malinka |
2022-03-26 | Troche o grafie losowym | Franciszek Malinka |
2022-03-19 | Definicje wkolo freissego | Franciszek Malinka |
2022-02-16 | Corollary 2.15 | Franciszek Malinka |
2022-02-15 | Poprawa usterki faktu | Franciszek Malinka |
2022-02-15 | Poprawki banacha mazura | Franciszek Malinka |
2022-02-09 | Poprawki do dowodu | Franciszek Malinka |
2022-02-09 | Dowód o grzebana chamazura | Franciszek Malinka |
2022-02-09 | pierwsza strona, pora na spacer | Franciszek Malinka |
2022-01-13 | Wstępny szkielet pracy. | Franciszek Malinka |