8000 RemyDegenne (Rémy Degenne) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View RemyDegenne's full-sized avatar
15 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3

Highlights

  • Pro

Block or report RemyDegenne

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. brownian-motion brownian-motion Public

    Construction of a Brownian Motion in Lean

    Lean 16 10

  2. CLT CLT Public

    Central limit theorem in Lean

    TeX 11 4

  3. kolmogorov_extension4 kolmogorov_extension4 Public

    Lean formalization of the Kolmogorov extension theorem

    TeX 9 3

  4. testing-lower-bounds testing-lower-bounds Public

    Information theory and hypothesis testing, in Lean

    Lean 8 4

  5. GlimpseOfLean GlimpseOfLean Public

    Forked from PatrickMassot/GlimpseOfLean

    An introduction to theorem proving in Lean for the impatient.

    Lean 1

  6. lean-bandits lean-bandits Public

    Bandit algorithms in Lean

    Lean 1

0