Skip to content
View jjgbox's full-sized avatar
1 follower · 5 following
  • LNNU

Block or report jjgbox

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. z3 z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++

  2. lean lean Public

    Forked from leanprover/lean3

    Lean Theorem Prover

    C++

  3. UniMath UniMath Public

    Forked from UniMath/UniMath

    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

    Coq

  4. grokking_algorithms grokking_algorithms Public

    Forked from egonSchiele/grokking_algorithms

    Code for the book Grokking Algorithms (https://amzn.to/29rVyHf)

    JavaScript

  5. VST VST Public

    Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    Coq

  6. tuhdo.github.io tuhdo.github.io Public

    Forked from tuhdo/tuhdo.github.io

    Emacs Mini Manual

    HTML