Skip to content
View mabhay3420's full-sized avatar
🎯
Focusing
🎯
Focusing
37 followers · 88 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLO

Block or report mabhay3420

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 (7)

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

Starred repositories

3 stars written in Lean
Clear filter

opencompl / lean-mlir

A minimal development of SSA theory

Lean 207 23 Updated Feb 2, 2026

eric-wieser / lean-matrix-cookbook

The matrix cookbook, proved in the Lean theorem prover

Lean 126 20 Updated Sep 16, 2025

leanprover / reference-manual

The Lean reference manual

Lean 102 48 Updated Feb 4, 2026

Starred topics