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.
-
Notifications
You must be signed in to change notification settings - Fork 12
Coq related material for the Logic in computer science course
License
andrejbauer/lvr-coq
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Coq related material for the Logic in computer science course
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published