Block or report user



Pinned repositories

  1. coq-lit

    Literate coq blog posts

    Python 10 1

  2. tactics

    some Coq tactics I've found useful

    Coq 4

  3. jamesprl

    A proof refinement logic in the style of JonPRL for my own edification

    Standard ML 2

1,209 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

April 2018

1 contribution in private repositories Apr 18

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