`IndisputableMonolith.Verification.Concertina`

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

show as: view math explainer →

open module explainer GitHub source

Explainer status: pending

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