Skip to content
View leon-volq's full-sized avatar
1 follower · 18 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report leon-volq

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. natural_number_game natural_number_game Public

    Forked from ImperialCollegeLondon/natural_number_game

    Building the natural numbers in Lean.

    Lean

  2. mathlib mathlib Public

    Forked from leanprover-community/mathlib3

    Lean mathematical components library

    Lean

  3. mathematics_in_lean mathematics_in_lean Public

    Forked from leanprover-community/mathematics_in_lean

    The user home repository for the Mathematics in Lean tutorial.

    HTML

  4. compilers compilers Public

  5. node.js-interview-questions node.js-interview-questions Public

    How to prepare for a node.js interview

  6. Bitcoin-Payments Bitcoin-Payments Public

    Forked from psypersky/Bitcoin-Payments

    Create your own Bitcoin Payment Processor System

    JavaScript