`IndisputableMonolith.Verification.Concertina`

IndisputableMonolith/Verification/Concertina.lean · 1 lines · 0 declarations

show as: view math explainer →

open module explainer GitHub source

Explainer status: ready · generated 2026-08-14 09:15:02.157355+00:00

source mirrored from github.com/jonwashburn/shape-of-logic