Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
domaca-naloga-01
branch
domaca-naloga-01
domaca-naloga-02
master
tag
teorija-programskih-jezikov
Name
jakamun's repositories
.vscode
01-ocaml
02-zgradba-programskega-jezika
03-indukcija
04-lambda-racun
05-tipi
06-formalizacija-dokazov
domaca-naloga-01
pomozno
.gitignore