Block or report user

Report or block david-a-wheeler

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

  1. spdx-tutorial

    A brief tutorial on how to use Software Package Data Exchange (SPDX)

    14 4

  2. jiffo

    Forked from felixplesoianu/jaiffa

    Javascript Interactive Fiction Framework that's Open Source Software

    JavaScript 6 2

  3. vim-metamath

    vim mode for editing metamath files

    Vim script 5 1

  4. cl-metamath

    Metamath library/verifier in Common Lisp

    Common Lisp 3

  5. metamath-test

    Test metamath verification implementations

    Objective-C++ 2 3


    Forked from github/

    A site to provide non-judgmental guidance on choosing a license for your open source project

    CoffeeScript 1

899 contributions in the last year

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

Contribution activity

October 2018

Created a pull request in metamath/ that received 8 comments

Add naming and conversion discussion to mmnatded.html

Improve the documentation in mmnatded.html by adding a more detailed discussion about naming conventions and how to do conversions. Signed-off-by: …

+90 −11 8 comments

Created an issue in metamath/ that received 2 comments

Request: Document how to "Intuitionize" in's documentation

I would love to see the documentation explain more about how to "intuitionize", including citations pointing to especially good books/paper…


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