Skip to content
Hacking Coq
Block or report user

Report or block anton-trunov

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse




  1. Scilla - A Smart Contract Intermediate Level Language

    OCaml 108 33

  2. Partial Commutative Monoids

    Coq 11 2

  3. Libraries demonstrating design patterns for programming and proving with canonical structures in Coq

    Coq 8 4

  4. Mathematical Components

    Coq 208 40

  5. Mathematical Components (the Book)

    TeX 84 12

  6. Forked from tchajed/spacemacs-coq

    A Coq layer for Spacemacs

    Emacs Lisp 3

333 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity

March 2019

Created a pull request in Zilliqa/scilla that received 3 comments

Print coloured diff on testsuite failures

+280 −318 3 comments

Created an issue in NixOS/nixpkgs that received 1 comment

ocaml4.06.1-re2-0.11.0 installation fails on macOS

Issue description I'm unable to install ocaml4.06.1-re2-0.11.0 package on macOS. Steps to reproduce $ nix-env -i ocaml4.06.1-re2-0.11.0 This fails …

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.