Skip to content
View breandan's full-sized avatar
📖
I may be slow to respond.
📖
I may be slow to respond.
349 followers · 1k following

Sponsoring

@philzook58

Achievements

Achievement: Starstruckx3Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx3Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

Organizations

@mila-iqia
Block or Report

Block or report breandan

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
Type: All
Language: Lean
Sort by: Most stars

Starred repositories

8 stars written in Lean
Clear filter

leanprover-community / mathlib

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

Lean 1,666 297 Updated Jun 28, 2024

dselsam / certigrad

Bug-free machine learning on stochastic computation graphs

Lean 386 34 Updated Mar 3, 2019

kbuzzard / xena

Lean Library currently studying for a degree at Imperial College

Lean 226 22 Updated Jul 3, 2023

openai / lean-gym

Lean 149 31 Updated Jan 23, 2023

google-deepmind / debate

Formalizing stochastic doubly-efficient debate

Lean 83 12 Updated Jun 6, 2024

siddhartha-gadgil / Saturn

Experiments with SAT solvers with proofs in Lean 4

Lean 50 1 Updated Jun 23, 2024

ramonfmir / lean-scheme

Schemes in Lean (v2)

Lean 42 5 Updated Jul 30, 2020

annenkov / two-level

Two-Level Type Theory

Lean 27 1 Updated Dec 13, 2019

Starred topics