manik1337/csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru, Spring term 2021

HTML