LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

Ruben Van de Velde

@Ruben-VandeVelde

Followers

23

Public repos

31

Stars (recent)

—

Ecosystems

—

Projects

Repositories this builder owns.

PrimeNumberTheoremAnd

blueprint for prime number theorem and more

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

Work in progress mathlib port for lean 4

A formalized proof of Carleson's theorem in Lean

Recent activity

Most recently pushed work.

Ruben-VandeVelde/PrimeNumberTheoremAnd
pushed 12d ago
Ruben-VandeVelde/FLT-Wiles
pushed 2mo ago
Ruben-VandeVelde/mathlib4
pushed 3mo ago
Ruben-VandeVelde/carleson
pushed 4mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

sphere-eversion

Formalization of the existence of sphere eversions

—

Standard Library for Lean 4

Conservative floating point interval arithmetic in Lean

The Riemann mapping theorem