GitHub repository: mcifra/prieskumnik-struktur
Primary language: JavaScript
Description: Prieskumník sémantiky logiky prvého rádu