Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@PseudoPower

Popular repositories

  1. Notebook

    Jupyter Notebook 1

  2. Haskell

  3. my notebook has been moved to http://fiveeyes.github.io/

    Coq 1

  4. to test markdown

173 contributions in the last year

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

Contribution activity

November 2020

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

You can’t perform that action at this time.