Anton Trunov

icon company https://tonstudio.io icon location Dubai icon location Compilers, formal verification

Results 2 repositories owned by Anton Trunov

coq-lecture-notes

47
Stars
10
Forks
Watchers

Coq Lecture Notes (WIP)

verified publisher icon anton-trunov

csclub-coq-course-spring-2021

53
Stars
13
Forks
Watchers

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

verified publisher icon anton-trunov