Block or report user

Report or block mtzguido

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

  1. jcc-web

    Página web de las gloriosas JCC

    HTML 2 1

  2. snake86

    x86 Bootable Snake game

    C 1

  3. hacl-star

    Forked from project-everest/hacl-star

    HACL*, a formally verified cryptographic library written in F*

    Assembly 1

  4. misc

    Miscellaneous stuff I programmed over the years


  5. tiger

    Compilador Tiger para la LCC

    Standard ML

  6. ice

    Chess AI. Stands for "ICE Chess Engine"


72 contributions in 2016

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

Contribution activity

December 2016

mtzguido had no activity during this period.

November 2016

Created an issue in FStarLang/FStar that received 5 comments

Is Eta included in definitional equality?

In the following code, we try to automatically prove some eta-equivalences. The first two work, at different types, while the third (which is a par…


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