LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

teorth

@teorth

Followers

4K

Public repos

22

Stars (recent)

4.2K

Ecosystems

—

Projects

Repositories this builder owns.

A community database for the problems on the erdosproblems.com site

The math library of Lean 4

2

optimizationproblems

A collection of optimization problems in mathematics

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Recent activity

Most recently pushed work.

teorth/erdosproblems
pushed 1h ago
teorth/mathlib4
pushed 2h ago
teorth/optimizationproblems
pushed 4h ago
teorth/pfr
pushed 9h ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

A Lean companion to Analysis I

1.8K

Exponent pair database

erdos-guy-selfridge

Project to verify the Guy-Selfridge conjectures

No description.