Block or report user

Report or block johoelzl

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. vscode-lean

    Forked from leanprover/vscode-lean

    An extension for VS Code which provides support for the Lean language.


  2. mathlib

    Forked from leanprover/mathlib

    Lean mathematical components library


  3. mason-stother

    Lean formalization of the Mason-Stother theorem

    Lean 1

  4. lean-sh

    Sledgehammer prototype


  5. tectonic

    Forked from tectonic-typesetting/tectonic

    A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.


  6. lean-simp-loop

    Run the lean simplifier in loop with various simplification procedures (e.g. like Isabelle's simplifier)


374 contributions in the last year

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

Contribution activity

October 2018

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