LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

@harmonic-ai @lawrence-harmonic

Lawrence Wu

@llllvvuu

Followers

134

Public repos

128

Stars (recent)

6

Ecosystems

—

Projects

Repositories this builder owns.

PrimeNumberTheoremAnd

blueprint for prime number theorem and more

The math library of Lean 4

FinitelyPresentedGroups

No description.

llllvvuu.github.io

No description.

1

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

equational_theories

A project to map out the relations between different equational theories of Magmas.

—

Lean 4 programming language and theorem prover

No description.

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Recent activity

Most recently pushed work.

llllvvuu/PrimeNumberTheoremAnd
pushed 5mo ago
llllvvuu/mathlib4
pushed 6mo ago
llllvvuu/FinitelyPresentedGroups
pushed 6mo ago
llllvvuu/llllvvuu.github.io
pushed 9mo ago