GitHub repository: Karabus/lpi25-horvath256
Description: Logika pre informatikov a Úvod do matematickej logiky 2024/25