anjapetkovic/type-theory-slovene-dictionary

A dictionary of slovene translations of type-theoretical notions and notions from logic and foundations of mathematics.

PythonMIT