anton-trunov / csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru/en, Spring term 2021
56Updated last year

Related projects

Alternatives and complementary repositories for csclub-coq-course-spring-2021