Skip to content
View agjftucker's full-sized avatar
1 follower · 1 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report agjftucker

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. network-pricing network-pricing Public

    Forked from marcobardoscia/neva

    Network valuation in financial systems

    Python

  2. capital-requirements-game capital-requirements-game Public

    How should the central bank design capital requirement rules to take account of banks' likely response?

    C++

  3. mathlib mathlib Public

    Forked from leanprover-community/mathlib3

    Lean mathematical components library

    Lean

  4. theorem_proving_in_lean4 theorem_proving_in_lean4 Public

    Forked from leanprover/theorem_proving_in_lean4

    Theorem Proving in Lean 4

    JavaScript

  5. mathport mathport Public

    Forked from leanprover-community/mathport

    Mathport is a tool for porting Lean3 projects to Lean4

    Lean

  6. mathematics_in_lean_source mathematics_in_lean_source Public

    Forked from avigad/mathematics_in_lean_source

    Source code for the Mathematics in Lean tutorial.

    Lean