LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Uni Bonn, Germany

Michael Rothgang

@grunweg

Followers

18

Public repos

25

Stars (recent)

8

Ecosystems

—

Projects

Repositories this builder owns.

The math library of Lean 4

QuotientManifolds

No description.

1

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

SobolevSlobodeckij

Formalising Sobolev-Slobodeckij spaces in Lean, for mathlib

Recent activity

Most recently pushed work.

grunweg/mathlib4
pushed 3h ago
grunweg/QuotientManifolds
pushed 4d ago
grunweg/leanprover-community.github.io
pushed 11d ago
grunweg/SobolevSlobodeckij
pushed 12d ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

LeanSeminar26

No description.

7

fpvandoorn.github.io

personal website

1000-plus.github.io

No description.

Lean 4 programming language and theorem prover