pith. machine review for the scientific record. sign in

IndisputableMonolith.Core.ConstantsAndPatterns

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

show as:
view math explainer →

open module explainer GitHub source

Explainer status: pending

   1import Mathlib
   2import IndisputableMonolith.Constants
   3import IndisputableMonolith.Patterns
   4

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