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

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

语言：HTML · GitHub 星标：59 · Fork：14

话题：coq · course · mathcomp · ssreflect

在 GitHub 上查看原仓库