Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Pinned

  1. Practice with Iris (https://iris-project.org)

    Coq

1,234 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Activity overview
Contributed to abeln/iris-practice, abeln/null-calculus, abeln/abeln.github.io and 5 other repositories
Loading

Contribution activity

September 2020

80 contributions in private repositories Sep 1 – Sep 17

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

You can’t perform that action at this time.