Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach
Primary LanguageCoq
No issues in this repository yet.