lvr-coq

Coq related material for the Logic in computer science course.

Tu so datoteke za Coq pri predmetu Logika v računalništvu. Za projekt iz urejanja uporabljajte definicije in leme iz Sorting.v. Datoteka sort.v je zastarela.