Anton Trunov (@anton-trunov)
github

anton-trunov

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    120
  • Global Rank 176,408 (Top 7 %)
  • Followers 204
  • Following 138
  • Registered over 11 years ago
  • Most used languages
    JavaScript
         33.3 %
    HTML
         33.3 %
    Coq     16.7 %
    TeX
         16.7 %
  • Location 🇦🇪 United Arab Emirates
  • Country Total Rank 255
  • Country Ranking
    Coq     1
    TeX
         7
    HTML
         14
    JavaScript
         640

Top repositories

1

csclub-coq-course-spring-2021

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

coq-lecture-notes

Coq Lecture Notes (WIP)
Coq
48
star
3

ssreflect-london-tydd-meetup

SSReflect talk at London Type-Driven Development meetup
HTML
5
star
4

fold-tutorial-talk

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

ssreflect-mathcomp-talk-moscow-2019

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

pic-beam

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

csclub-spb-2019-coq-talk

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