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

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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