Euklides

Z Lem
Skocz do: nawigacji, wyszukiwania

Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak można udowodnić jego poprawność.