Media Summary: After a meeting with representation from every step in the process (which covers more than one division), our cataloger describes ... How do you keep a pen where you need one -- especially at a public, shared desk? Eliminating waste, focusing on the customer – and continuous improvement. See how the Frisco

Lean Libraries Incomplete Sets - Detailed Analysis & Overview

After a meeting with representation from every step in the process (which covers more than one division), our cataloger describes ... How do you keep a pen where you need one -- especially at a public, shared desk? Eliminating waste, focusing on the customer – and continuous improvement. See how the Frisco Presenter: Robert Y. Lewis Presented at CPP'20, colocated with POPL 2020. Giving each Maker device key its own, labeled, location saves time and frustration. The module system is a new extension of the

Creating scanner-readable barcodes made it easier and faster for staff to check out remotes for the Playstation in the Teen Room. The simplest way to setup Mathlib4 in VSCode with basic troubleshooting. For a simpler tutorial just for Lean4 (without Mathlib) ...

Photo Gallery

Lean Libraries - Incomplete Sets
Lean Libraries - Override Pen
Day 38: Lean Library - 100 Days of Progress in Motion
Boosting Usage of Collections with Lean Library
The Lean Mathematical Library
Lean Libraries - Key Storage
Fabrizio Montesi - CSLib: The Lean Computer Science Library (Lean Together 2026)
LftCM2020: Sets in Lean - Jeremy Avigad
Carrollton Lean.m4v
Frisco Library - Cutter Spreadsheet
Sebastian Ullrich - The Lean module system (Lean Together 2026)
Lean Libraries - Teen Room Remote Checkout
View Detailed Profile
Lean Libraries - Incomplete Sets

Lean Libraries - Incomplete Sets

After a meeting with representation from every step in the process (which covers more than one division), our cataloger describes ...

Lean Libraries - Override Pen

Lean Libraries - Override Pen

How do you keep a pen where you need one -- especially at a public, shared desk?

Day 38: Lean Library - 100 Days of Progress in Motion

Day 38: Lean Library - 100 Days of Progress in Motion

Eliminating waste, focusing on the customer – and continuous improvement. See how the Frisco

Boosting Usage of Collections with Lean Library

Boosting Usage of Collections with Lean Library

Libraries

The Lean Mathematical Library

The Lean Mathematical Library

Presenter: Robert Y. Lewis Presented at CPP'20, colocated with POPL 2020.

Lean Libraries - Key Storage

Lean Libraries - Key Storage

Giving each Maker device key its own, labeled, location saves time and frustration.

Fabrizio Montesi - CSLib: The Lean Computer Science Library (Lean Together 2026)

Fabrizio Montesi - CSLib: The Lean Computer Science Library (Lean Together 2026)

Conference website: https://leanprover-community.github.io/lt2026/ Full schedule: ...

LftCM2020: Sets in Lean - Jeremy Avigad

LftCM2020: Sets in Lean - Jeremy Avigad

Using

Carrollton Lean.m4v

Carrollton Lean.m4v

Great example of a

Frisco Library - Cutter Spreadsheet

Frisco Library - Cutter Spreadsheet

Our cataloging

Sebastian Ullrich - The Lean module system (Lean Together 2026)

Sebastian Ullrich - The Lean module system (Lean Together 2026)

The module system is a new extension of the

Lean Libraries - Teen Room Remote Checkout

Lean Libraries - Teen Room Remote Checkout

Creating scanner-readable barcodes made it easier and faster for staff to check out remotes for the Playstation in the Teen Room.

Intermediate Lean: Mathlib4 Setup

Intermediate Lean: Mathlib4 Setup

The simplest way to setup Mathlib4 in VSCode with basic troubleshooting. For a simpler tutorial just for Lean4 (without Mathlib) ...