Saarland University Computer Science


Introduction to Computational Logic Gert Smolka

Resources

Lecture Notes

Coq

Literature