Block or report user

Popular repositories


    Michael Nahas's professional website

    C 1

  2. coq

    Forked from HoTT/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…


  3. HoTT

    Forked from HoTT/HoTT

    Homotopy type theory


  4. HoTT-Agda

    Forked from HoTT/HoTT-Agda

    Development of homotopy type theory in Agda


  5. carry_trade_paper

    Thesis for Masters of Arts in Economics

  6. mcb

    Forked from math-comp/mcb

    Mathematical Components (the Book)


7 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February - March 2017

mdnahas has no activity yet for this period.

January 2017

Created a pull request in math-comp/mcb that received 9 comments

Common English language things

Added hyphens after non. E.g., "non blank" becomes "non-blank" Fixed E.g. notation. "(eg" became "(e.g., " Changed ... into "etc." outside of pare…

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