Skip to content
View dkapt's full-sized avatar
🎯
Focusing
🎯
Focusing
108 followers · 2.5k following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report dkapt

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

Starred repositories

8 stars written in Lean
Clear filter

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 4,873 437 Updated Dec 26, 2024

leanprover-community / mathlib4

The math library of Lean 4

Lean 1,642 356 Updated Dec 26, 2024

ImperialCollegeLondon / FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Lean 313 54 Updated Dec 26, 2024

ImperialCollegeLondon / formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Lean 304 22 Updated Mar 9, 2024

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 293 73 Updated Mar 9, 2024

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment

Lean 186 15 Updated Jan 23, 2024

ImperialCollegeLondon / M40001_lean

Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

Lean 157 14 Updated Mar 9, 2024

leanprover / SampCert

SampCert : Verified Differential Privacy

Lean 66 7 Updated Aug 20, 2024

Starred topics