Skip to main content

Lean community blog

Main site
Archive
Tags
About
RSS feed

Posts about Design patterns

2026-01-13 14:00Tradeoffs of defining types as subobjects

Contents © 2026 The Lean prover community - Powered by Nikola