Skip to content
View waldyrious's full-sized avatar
419 followers · 166 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Starstruckx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Starstruckx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Organizations

@mwclient @opencompany @improvebraga @tldr-pages @browserpad @JuliaLangPt @TeamOfOne @Julia-i18n @wikimedia-portugal @OSM-Portugal @waldyrious-forks

Block or report waldyrious

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Lists (16)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

5 stars written in Lean
Clear filter

leanprover-community / mathlib4

The math library of Lean 4

Lean 2,669 947 Updated Dec 18, 2025

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,667 293 Updated Jun 28, 2024

digama0 / mm0

Metamath Zero specification language

Lean 365 49 Updated Dec 17, 2025

ImperialCollegeLondon / natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Lean 302 70 Updated Mar 9, 2024

pygae / lean-ga

A partial formalization of Geometric Algebra in the Lean formal proof verification system.

Lean 54 5 Updated Oct 25, 2023

Starred topics

See all starred topics