`loadDatasetFromJson`

definition

show as: view math explainer →

module: IndisputableMonolith.PDG.Fits
domain: PDG
line: 216 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.PDG.Fits on GitHub at line 216.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

Dataset IndisputableMonolith.PDG.Fits
defaultDataset IndisputableMonolith.PDG.Fits
System IndisputableMonolith.Thermodynamics.BoltzmannDistribution

formal source

 213
 214/-- Placeholder: load a dataset from a JSON file (to be implemented).
 215    Currently returns the `defaultDataset`. -/
 216def loadDatasetFromJson (_path : System.FilePath) : IO Dataset :=
 217  pure defaultDataset
 218
 219end External
 220
 221end Fits
 222end PDG
 223end IndisputableMonolith
 224
 225

papers checked against this theorem

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