LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

mathlib4_factorization

The math library of Lean 4

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

16mo ago

Recent commits

Latest commits.

chore: automated `var decl var` replacements (#22412)
9b272c2damiano16mo ago
chore: split Probability/Kernel/Composition/Basic (#22400)
93ddb45Rémy Degenne16mo ago
chore: add `coe` attribute to `ContinuousAffineMap.toAffineMap` (#22410)
9bf65b2Jireh Loreaux16mo ago
chore: more porting notes (#22387)
df2382aKim Morrison16mo ago
chore(Mathlib/[N-SU-Z]): automated `var decl var` replacements (#22414)
a04fb6fdamiano16mo ago

chore(Mathlib/[E-M]): automated `var decl var` replacements (#22413)

bc4a566damiano16mo ago

feature(Analysis/LocallyConvex/Polar): Polar is weak*-closed (#22352)

1e93242Christopher Hoskin16mo ago

chore: auto `var decl var` replacements (#22406)

c0afcf4damiano16mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde