pith. machine review for the scientific record. sign in

IndisputableMonolith.Core.Streams

IndisputableMonolith/Core/Streams.lean · 4 lines · 0 declarations

show as:
view math explainer →

open module explainer GitHub source

Explainer status: ready · generated 2026-05-14 02:42:21.234301+00:00

   1import Mathlib
   2import IndisputableMonolith.Streams
   3import IndisputableMonolith.Streams.Blocks
   4

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