- Tytuł:
-
Formalizacja algorytmów sortowania w systemie Coq.
Formalization of sorting algorithms in Coq system. - Autorzy:
- Rajtar, Kamil
- Słowa kluczowe:
-
Coq, Algortytmy stortujące, Automatyczne dowodzenie twierdzeń
Coq, Sorting algorithms, Automatic theorem proving - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego