WojciechKarpiel/wiezniowie

Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach

Coq