fraware/lean-containers

lean-containers is a container library for Lean 4 that provides type-safe, mathematically rigorous implementations of container types and operations.

1 best points · 0 comments · 1 Hacker News post · 2 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Containers for Lean 4 (polynomial functors, with M-types) (1 points, 0 comments, by MADEinPARIS, 2025-09-16)