domaca-naloga-02
  1. teorija-programskih-jezikov
  2. 06-formalizacija-dokazov
Name
..
dokazi.lean
dokazi.ml
lambda.lean
naravna.lean
vaje-imp-resene.lean
vaje-imp.lean
vaje.lean
vaje_delno_resene.lean