LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

batteries

Standard Library for Lean 4

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

15mo ago

Recent commits

Latest commits.

chore: Provide consistent Std.Data modules. (#498)
8f32448Joe Hendrix30mo ago
chore: move MVarId.note (#507)
0f6bc5bScott Morrison30mo ago
feat: make Except.emoji public (#506)
a39499eScott Morrison30mo ago
feat: omega splits Ne (#505)
c76c1d0Scott Morrison30mo ago
feat: three array lemmas (#491)
9e8ae84François G. Dorais30mo ago

feat: more simp lemmas for `bind_eq_some` (#487)

c4e111bMario Carneiro30mo ago

feat: array lemmas for append and extract (#497)

9067da5François G. Dorais30mo ago

feat: upstream mathlib definitions used for `ImportGraph` (#481)

2277a72Jon Eugster30mo ago

Top contributors

Builders behind this project.

JamesGallicchio