Repository for the lecture 'Computational Metaphysics'.
Will be iteratively filled with materials for the lecture.