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

  • Stars
    star
    55
  • Rank 537,381 (Top 11 %)
  • Language
    HTML
  • Created almost 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
anton-trunov/csclub-coq-course-spring-2021
github

anton-trunov

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

coq-lecture-notes

Coq Lecture Notes (WIP)
Coq
49
star
2

ssreflect-london-tydd-meetup

SSReflect talk at London Type-Driven Development meetup
HTML
6
star
3

fold-tutorial-talk

Papers We Love. Mad. Talk on fold: slides, Coq file, and links for further reading
TeX
3
star
4

anton-trunov

My Profile README.md
2
star
5

ssreflect-mathcomp-talk-moscow-2019

SSReflect/Mathcomp talk at FProg meetup(2019), Moscow
JavaScript
2
star
6

pic-beam

Particle-in-cell code for high current beams simulation
2
star
7

csclub-spb-2019-coq-talk

A talk at Computer Science Club (https://compsciclub.ru), Saint Petersburg, 2019
JavaScript
2
star
8

anton-trunov.github.io

Personal website
1
star
9

coq-haskell-talk-2018

"Coq for Haskell programmers" talk, Haskell Users Group, Madrid, Oct 4, 2018
JavaScript
1
star
10

coq-notations-diff

1
star
11

TIP

1
star
12

scilla-posts

Blog posts about Scilla language (https://scilla-lang.org)
1
star