LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

Ziyu Zhou

@subfish-zhou · Beijing

Followers

59

Public repos

29

Stars (recent)

11

Ecosystems

—

Projects

Repositories this builder owns.

AI math prover agent. Self-hosted, BYO Lean / LLM / DB. Sister project to Mathub.

lean-tacticbook

Lean 4 战术之书 — 如何写tactic （WIP）

1

subfish-zhou.github.io

my personal page

Formalizing "Proofs from THE BOOK"

Recent activity

Most recently pushed work.

subfish-zhou/mathran
pushed 6d ago
subfish-zhou/lean-tacticbook
pushed 2mo ago
subfish-zhou/subfish-zhou.github.io
pushed 2mo ago
subfish-zhou/FormalBook
pushed 3mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Lean Tacticbook project

—

test repo for fp-lean-zh

openevolve_math

Open-source implementation of AlphaEvolve

No description.