LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

Poly

A Lean4 Formalization of Polynomial Functors

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

13d ago

Recent commits

Latest commits.

doc gen update
914d9b7sinhp6mo ago
bump mathlib
46c58a9sinhp6mo ago
feat: bump to v4.25.0-rc2 (#35)
aedee22Wojciech Nawrocki8mo ago
Merge pull request #34 from sinhp/dubuc
0e7edc2Sina Hazratpour8mo ago
composition is exponentiable
56ac18dMario Carneiro9mo ago
mathlib already had it...

dd04acfMario Carneiro9mo ago

68950ebMario Carneiro9mo ago

feat: adjoint triangle theorem

116d813Mario Carneiro9mo ago

Top contributors

Builders behind this project.