LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

AG161

@AG161

Followers

1

Public repos

7

Stars (recent)

—

Ecosystems

—

Projects

Repositories this builder owns.

No description.

llemma_formal2formal

Fork of https://github.com/wellecks/llemma_formal2formal

Fork of https://github.com/yangky11/lean4-example

lean-training-data

Recent activity

Most recently pushed work.

AG161/miniF2F-lean4
pushed 16mo ago
AG161/lean-dojo-mew
pushed 17mo ago
AG161/llemma_formal2formal
pushed 24mo ago
AG161/lean4-example
pushed 26mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Fork of lean-training-data (https://github.com/semorrison/lean-training-data)

—

Fork of mathlib4 with textual edits

Copy of LeanDojo with rw splitting restored