Tuplanolla Sampsa Kiiskinen

2015

I prepared these materials for a course on formal logic.

Course Materials

This section of TIES350 consists of 6 hours of lectures, covering Coq and related things.

Lectures

Exercises

See Also