Block or report user

Report or block javra

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. msc-thesis

    TeX 6 1

  2. isabelle_algebra

    Isabelle Algebra Sandbox

    Isabelle 3 2

  3. kvvx

    KVV Express is an engine redirecting bus and train schedule requests expressed in natural language


  4. lean

    Forked from leanprover/lean

    Lean Theorem Prover


  5. tutorial

    Forked from leanprover/tutorial

    Lean Tutorials


  6. presentations

    Forked from leanprover/presentations

    lean-related presentations


5 contributions in the last year

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

Contribution activity

March - September 2018

javra has no activity yet for this period.

February 2018

Created a pull request in nicolaikraus/sheaves_reading_group that received 1 comment

Remove date duplicate

+0 −3 1 comment

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