Skip to content
Avatar
🐻
☾λ
🐻
☾λ
  • Block or report user

    Block or report clarus

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
117 followers · 43 following · 418

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@coq-bench @coq-concurrency @coq-io

Popular repositories

  1. redux-ship

    Side effects with snapshots for Redux.

    JavaScript 619 18

  2. coq-chick-blog

    🐣 A blog engine written and proven in Coq

    Coq 172 6

  3. coq-of-ocaml

    Import OCaml programs to Coq 🐓 🐫

    OCaml 110 8

  4. falso

    A proof of false in Coq.

    Coq 72 1

  5. smart-print

    A pretty-printing library in OCaml

    OCaml 23 5

  6. coq-of-js

    🌍 🐓 Import JavaScript programs to Coq

    JavaScript 12

1,166 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions.
Less
More
Activity overview
Contributed to clarus/coq-of-ocaml, coq/opam-coq-archive, clarus/coq-blog and 5 other repositories

Contribution activity

December 2020

Created 10 commits in 3 repositories

Created a pull request in coq/opam-coq-archive that received 1 comment

Fix Coq version for coq-tactician-dummy.1.0~beta1

It seems that this package fails with the following error for Coq versions prior to 8.6.1 (not entirely sure, may be related to the OCaml version t…

+1 −1 • 1 comment
Opened 3 other pull requests in 1 repository

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

You can’t perform that action at this time.