A dictionary of slovene translations of type-theoretical notions and notions from logic and foundations of mathematics. - View it on GitHub