Skip to content
View gakonst's full-sized avatar
5.1k followers · 733 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Galaxy BrainAchievement: Starstruckx4Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: Galaxy BrainAchievement: Starstruckx4Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor

Organizations

@paradigmxyz @foundry-rs @alloy-rs

Block or report gakonst

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

5 stars written in Lean
Clear filter

leanprover-community / physlib

A project to digitalise results from physics into Lean.

Lean 556 96 Updated Apr 30, 2026

lfglabs-dev / verity

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Lean 71 4 Updated Apr 30, 2026

starkware-libs / formal-proofs

Lean 68 14 Updated Oct 31, 2024

BoltonBailey / formal-snarks-project

A formal verification of Linear PCP SNARKs.

Lean 61 7 Updated Jul 20, 2024

NethermindEth / Yul-Specification

A formal specification of the Yul IR semantics in the Lean proof assistant.

Lean 14 Updated Jun 20, 2025