`modules`

definition

show as: view math explainer →

module: IndisputableMonolith.Masses.Manifest
domain: Masses
line: 11 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Masses.Manifest on GitHub at line 11.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

used by

formal source

   8  description : String
   9  manuscript : String
  10
  11@[simp] def modules : List ModuleSummary :=
  12  [ { name := "Anchor", description := "Canonical constants", manuscript := "Paper1" }
  13  , { name := "AnchorPolicy", description := "Policy interfaces", manuscript := "Paper1" }
  14  , { name := "Assumptions", description := "Model assumptions", manuscript := "Paper1" }
  15  , { name := "Basic", description := "Mass ladder placeholder", manuscript := "Paper1" }
  16  ]
  17
  18end Masses
  19end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.