Block or report user

Report or block jmgrosen

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

  1. shorai

    A super-amazing OS that will bring world peace.

    Rust 17 1

  2. treddit

    Python 2


    My website!


  4. light-sculpture

    Software dealing with the DPEA light sculpture project

    Rust 1

  5. musicazoo-android-queuer

    Kotlin 1

  6. light-simulator

    C 4

67 contributions in the last year

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

Contribution activity

August 2018

Created a pull request in ProofGeneral/PG that received 1 comment

Add coq-Print-Ltac to print an Ltac term

This is pretty self explanatory; it's just another convenience function that I use pretty often and figure others might too. There's currently no d…

+5 −0 1 comment

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