LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

@leanprover

Wojciech Nawrocki

@Vtec234 · Pittsburgh, USA

Followers

119

Public repos

70

Stars (recent)

1

Ecosystems

—

Projects

Repositories this builder owns.

A Lean4 Formalization of Polynomial Functors

downstream-reports

Reporting workflows and dashboards using the hopscotch tool

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Miscellaneous Developer Widgets for Lean

1

From the web

Pulled live from the official website.

void main

cmu.edu andrew.cmu.edu GitHub harmonic.fun microsoft.com

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

lean4

Lean4 work in progress repo

—

No description.

Work in progress mathlib port for lean 4

groupoid_model_in_lean4

No description.

Recent activity

Most recently pushed work.

Vtec234/Poly
pushed 13d ago
Vtec234/downstream-reports
pushed 24d ago
Vtec234/FLT
pushed 26d ago
Vtec234/DevWidgets
pushed 29d ago