csclub-coq-course-spring-2021
csclub-coq-course-spring-2021 copied to clipboard
Published
20 hours ago •
anton-trunov
anton-trunov
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
Results
2
csclub-coq-course-spring-2021 issues
Sort by
recently updated
recently updated
newest added
Для exists_forall_not_ требуется привести терм Для f_congr аргументы x, y объявлены неявными Импорт ssrfun перенесен до использования \o
Metadata
53
Stars
13
Forks
Watchers
Owner
Metadata
A course on formal verification at https://compsciclub.ru/en, Spring term 2021