Pliki 

hello_proof.why demo_logic.why flaga-polska.mlw lider.mlw 

są przykładami używanymi na wykładzie.


Zadaniami do zrobienia na laboratorium są:

1. tablica-stala.mlw - tam trzeba napisac program i specyfikację
2. flaga-holenderska.mlw - tam trzeba dodać specyfikację