Skip to content
Avatar
  • Block or report user

    Block or report JasonGross

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
128 followers · 10 following · 44

Highlights

  • Arctic Code Vault Contributor

Organizations

@barnowl @mitex @sipb @mit-plv

Pinned

  1. mit-plv/fiat-crypto

    Cryptographic Primitive Code Generation by Fiat

    Coq 288 84

  2. HoTT/HoTT

    Homotopy type theory

    Coq 928 153

  3. coq-tools

    Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

    Python 23 6

  4. lob

    Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)

    Coq 16 2

  5. lob-paper

    A write-up of https://github.com/JasonGross/lob

    Agda 3 3

  6. social-interactions

    Musings on social interactions and emotions

    5 3

3,263 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

December 2020

Created 124 commits in 11 repositories
Created 1 repository
Reviewed 1 pull request in 1 repository

Created an issue in coq/coq that received 19 comments

setoid_rewrite is slow and takes lots of RAM (fiat-crypto example)

Description of the problem Here is the example from my PhD defense where I had an example of size 3 taking 60 GB of RAM. Quoting from coq-performa…

19 comments
Opened 1 other issue in 1 repository
mit-plv/fiat-crypto
1 open

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

You can’t perform that action at this time.