pith. machine review for the scientific record. sign in

IndisputableMonolith.Core.Recognition

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

show as:
view math explainer →

open module explainer GitHub source

Explainer status: pending

   1import Mathlib
   2import IndisputableMonolith.Recognition
   3

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