`IndisputableMonolith.Core.URC`

IndisputableMonolith/Core/URC.lean · 3 lines · 0 declarations

Explainer status: pending

   1import Mathlib
   2-- Note: URCGenerators import removed to avoid circular dependency
   3-- URCGenerators should import Core modules, not the other way around

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