├── .gitignore ├── .gitmodules ├── README.md ├── exercises ├── 1 │ ├── ex1.v │ ├── ex2.v │ └── ex3.v ├── 2 │ ├── exindprop.v │ └── extra.v ├── 3 │ ├── Ex1.v │ └── Ex2.v ├── 4 │ ├── ex.v │ └── extra.v ├── 5 │ ├── Maps.v │ ├── Relation.v │ └── extypes.v ├── 6 │ └── ex6.v └── 7 │ ├── ex6.v │ └── ex7.v ├── notes ├── session01.md ├── session02.md ├── session03.md ├── session04.md ├── session05.md ├── session06.md ├── session07.md └── session08.md ├── plan.md ├── presentations ├── 3 │ └── Presentation_week3.v ├── 4 │ ├── CpdtTactics.v │ └── lecture04.v └── 6 │ └── Presentation.v ├── suggestions.md └── syllabus.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/.gitmodules -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/README.md -------------------------------------------------------------------------------- /exercises/1/ex1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/1/ex1.v -------------------------------------------------------------------------------- /exercises/1/ex2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/1/ex2.v -------------------------------------------------------------------------------- /exercises/1/ex3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/1/ex3.v -------------------------------------------------------------------------------- /exercises/2/exindprop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/2/exindprop.v -------------------------------------------------------------------------------- /exercises/2/extra.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/2/extra.v -------------------------------------------------------------------------------- /exercises/3/Ex1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/3/Ex1.v -------------------------------------------------------------------------------- /exercises/3/Ex2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/3/Ex2.v -------------------------------------------------------------------------------- /exercises/4/ex.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/4/ex.v -------------------------------------------------------------------------------- /exercises/4/extra.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/4/extra.v -------------------------------------------------------------------------------- /exercises/5/Maps.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/5/Maps.v -------------------------------------------------------------------------------- /exercises/5/Relation.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/5/Relation.v -------------------------------------------------------------------------------- /exercises/5/extypes.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/5/extypes.v -------------------------------------------------------------------------------- /exercises/6/ex6.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/6/ex6.v -------------------------------------------------------------------------------- /exercises/7/ex6.v: -------------------------------------------------------------------------------- 1 | ../6/ex6.v -------------------------------------------------------------------------------- /exercises/7/ex7.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/exercises/7/ex7.v -------------------------------------------------------------------------------- /notes/session01.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/notes/session01.md -------------------------------------------------------------------------------- /notes/session02.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/notes/session02.md -------------------------------------------------------------------------------- /notes/session03.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/notes/session03.md -------------------------------------------------------------------------------- /notes/session04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/notes/session04.md -------------------------------------------------------------------------------- /notes/session05.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/notes/session05.md -------------------------------------------------------------------------------- /notes/session06.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/notes/session06.md -------------------------------------------------------------------------------- /notes/session07.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/notes/session07.md -------------------------------------------------------------------------------- /notes/session08.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/notes/session08.md -------------------------------------------------------------------------------- /plan.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/plan.md -------------------------------------------------------------------------------- /presentations/3/Presentation_week3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/presentations/3/Presentation_week3.v -------------------------------------------------------------------------------- /presentations/4/CpdtTactics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/presentations/4/CpdtTactics.v -------------------------------------------------------------------------------- /presentations/4/lecture04.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/presentations/4/lecture04.v -------------------------------------------------------------------------------- /presentations/6/Presentation.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/presentations/6/Presentation.v -------------------------------------------------------------------------------- /suggestions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/suggestions.md -------------------------------------------------------------------------------- /syllabus.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vlopezj/coq-course/HEAD/syllabus.md --------------------------------------------------------------------------------