ScientificMemoryVerso.lean

/-
Scientific Memory Verso document (minimal one-page manual).
Rendered by `lake exe generate-site` to docs/verso/_build/.
See docs/contributor-playbook.md#verso-integration-optional and docs/generated-artifacts.md.
-/

import VersoManual

open Verso.Genre Manual

#doc (Manual) "Scientific Memory" =>
%%%
shortTitle := "Scientific Memory"
%%%

This is the optional Verso-backed long-form documentation placeholder for Scientific Memory.

The project formalizes papers in the chemistry and adsorption domain. See the Langmuir 1918 paper and the formalization in the repository under the path formal/ScientificMemory/Chemistry/Adsorption.

When Verso is fully integrated, this site can link to declaration-level explanations and cross references.