 Wojciech Karpiel
|
f51e51196b
Cośtam dalej
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
920f25c6eb
u
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
379e2b3161
no i myk część wspólna zbiorów
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
3acb254c44
lepsze wypisywanie
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
f5d7673452
Taktyki, prawie jak Coq teraz!
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
2e2a01b5a0
Taktyki, prawie jak Coq teraz!
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
3a0be75a03
Próbujemy z dziurami dalej elo
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
da338b69ec
żeby dało się wymuszać sprawdzanie
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
34cbec88fc
zgłaszanie błędów i wypisywanie
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
13e120b140
umiem w programy
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
427bc42183
takie tam
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
23058acd55
AST z metadanaym
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
b83d156177
opakowanie var
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
19074e86d3
zmiany zmiany
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
995006476e
poprawka z pomieszaniem stałuch
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
67972c3f74
metadane
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
a6aa71517b
znajdywanie wolnych zmiennych i testy
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
ef47a00448
README++
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
b152503b3b
Dowód, że każde 2 zbiory puste są sobie równe... w bardzo przydruconej formie
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
d9a510cd44
cośtam dalej
|
%!s(int64=2) %!d(string=hai) anos |
|
Wojciech Karpiel
|
70e7fe13e6
a może ZFC - początek
|
%!s(int64=2) %!d(string=hai) anos |
