Anton Trunov's repositories
csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
coq-lecture-notes
Coq Lecture Notes (WIP)
ssreflect-london-tydd-meetup
SSReflect talk at London Type-Driven Development meetup
awesome-LaTeX
Curated list of LaTeX awesomeness
csclub-spb-2019-coq-talk
A talk at Computer Science Club (https://compsciclub.ru), Saint Petersburg, 2019
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
anton-trunov
My Profile README.md
awesome-tlaplus
A curated list of TLA+ resources.
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
create-ton
A tool to quickly setup TON smart contract projects
homebrew-core
🍻 Default formulae for the missing package manager for macOS
homebrew-crypto
:closed_lock_with_key: Various Cryptographic-Related Formulae
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
malfunction
Malfunctional Programming
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
QuickChick
Randomized Property-Based Testing Plugin for Coq
secp256k1-ml
Elliptic curve library secp256k1 wrapper for Ocaml
smart-print
A pretty-printing library in OCaml