Skip to content
Avatar
🧉
Drinking some mate
🧉
Drinking some mate

Highlights

  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. Repository with Lift function

    Coq 1

  2. Forked from Mtac2/Mtac2

    Coq

  3. The lift meta-program

    Coq

207 contributions in the last year

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

Contribution activity

September 2020

1 contribution in private repositories Sep 2

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

You can’t perform that action at this time.