Skip to content


  • Arctic Code Vault Contributor


  1. Some Jupyter notebooks for the mathematics 211 course.

    Jupyter Notebook 1

  2. A lightweight subset of MathJax that renders TeX using SVG.

    JavaScript 1

  3. Theory and exercises for formulating the univalence axiom using the Coq proof assistant.


  4. Solutions to the Matasano challenges in Go. (Currently first three sets from


  5. A development of the theory of postulated colimits in Coq. Includes a proof that the pushout of a monomorphism is a monomorphism in a 'sheaf topos'.


  6. Category Theory Definitions in Idris

    Idris 4

164 contributions in the last year

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

Contribution activity

October 2020

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

You can’t perform that action at this time.