pith. sign in

IndisputableMonolith.Core.URC

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

show as:
view math explainer →

open module explainer GitHub source

Explainer status: ready · generated 2026-05-16 05:50:32.432186+00:00

   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