Anton Trunov (@anton-trunov)
github

anton-trunov

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    188
  • Global Rank 129,329 (Top 5 %)
  • Followers 269
  • Following 137
  • Registered over 12 years ago
  • Most used languages
    JavaScript
         42.9 %
    HTML
         28.6 %
    Coq     14.3 %
    TeX
         14.3 %
  • Location πŸ‡¦πŸ‡ͺ United Arab Emirates
  • Country Total Rank 255
  • Country Ranking
    Coq     1
    TeX
         5
    HTML
         15
    JavaScript
         423

Top repositories

1

csclub-coq-course-spring-2021

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

coq-lecture-notes

Coq Lecture Notes (WIP)
Coq
49
star
3

ssreflect-london-tydd-meetup

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

fold-tutorial-talk

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

anton-trunov

My Profile README.md
2
star
6

ssreflect-mathcomp-talk-moscow-2019

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

pic-beam

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

csclub-spb-2019-coq-talk

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

anton-trunov.github.io

Personal website
1
star
10

coq-haskell-talk-2018

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

coq-notations-diff

1
star
12

TIP

1
star
13

scilla-posts

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