LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Builders

Lean FRO

Julia Markus Himmel

I used to work in an office

GitHubWebsite
Followers
80
Public repos
82
Stars (recent)
4
Ecosystems
1

Projects

Repositories this builder owns.

lean4
Lean 4 programming language and theorem prover
—
float-model
WIP model of floats for the standard library
1
mathlib4
The math library of Lean 4
—
lean-eval
Comparator-based Lean formal mathematics eval
—

Connected narratives

AI AgentsConsumer CryptoSocialFiStablecoinsAgent CommerceOnchain Apps

Related builders

Others building in the same ecosystem.

Jesse Pollak
1.3K followers
0xDeployer
— followers
Xen
— followers
Ahaan Raizada
— followers
Youssef
— followers
Igor Yuzo
— followers
twofx.github.io
No description.
—
human-eval-lean
Hand-written verified Lean solutions for the HumanEval benchmark
1
berlin2026
Slides for Leaning In 2026 and Bobkonf 2026
1
evaluateOurOptions
No description.
—

Recent activity

Most recently pushed work.

  • TwoFX/lean4
    pushed 10h ago
  • TwoFX/float-model
    pushed 13h ago
  • TwoFX/mathlib4
    pushed 15d ago
  • TwoFX/lean-eval
    pushed 1mo ago