Przeglądam notatki z kursu na CIS 500: podstawy oprogramowania i ćwiczenia są świetną zabawą. Jestem dopiero na trzecim zestawie ćwiczeń, ale chciałbym dowiedzieć się więcej o tym, co się dzieje, gdy używam taktyki do udowodnienia, żeforall (n m : nat), n + n = m + m -> n =...