anton-trunov/csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
HTML
Stargazers
- argent-smithEvrone.com
- avatar29Amellody.ai
- awalterschulzeStellenbosch University
- bakinovsky-m
- bezik
- Bromel777
- danilbraunKelechek MIT
- DmytroMitinKNU
- dpwiz
- easimonenkoITMO University
- ElijahLaMoonUkraine
- elmanelman@yandex
- ernadhCisco
- evdenis
- fly51flyPRIS
- franchb
- gabriel-fallenKontur
- GmihttBiocad
- GusevTimofey@spectrum-finance
- ik5:::1
- jimmysituZHAOXIN, JMST
- ligurio
- mbakhterevИММ УрО РАН
- mseriRijksuniversiteit Groningen
- NojpgHuawei R&D
- oskin1Moscow
- pashutk@atundra
- PitometsuUkraine
- ShmumaExasol
- sloboegen@SiriusCourses
- vyorkin@zeriontech
- winter-yukiSaint Petersburg
- wolfthegreat
- yasha-black@spectrum-finance
- yugrHuawei
- yurlinSaint Petersburg, Russia