domaca-naloga-01
  1. teorija-programskih-jezikov
  2. 06-formalizacija-dokazov
Name
..
dokazi.lean
dokazi.ml
lambda.lean
naravna.lean
vaje.lean