Skip to content
View mgorog's full-sized avatar

Block or report mgorog

Block user

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

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. prepLab prepLab Public

    Forked from Maxuvious/prepLab

  2. proofWidgetsEmbed4 proofWidgetsEmbed4 Public

  3. mm-lean mm-lean Public

    Forked from minchaowu/mm-lean

    One direction of the MM-Lean link

    Mathematica

  4. lean4Mathematica lean4Mathematica Public

    Forked from robertylewis/mathematica

    Lean-independent implementation of the MM-Lean link

    Lean

  5. typst.ts typst.ts Public

    Forked from Myriad-Dreamin/typst.ts

    Run Typst in JavaScriptWorld.

    TypeScript

  6. typst typst Public

    Forked from typst/typst

    A markup-based typesetting system that is powerful and easy to learn.

    Rust