The homepage of the course logical verification moved
here
.