Fractal Notebooks — Proof Knowledge Bundle
Bundle OKF 0.1 · 12 conceitos · tyson-swetnam/fractal-notebooks
Open source Repository Open in the app JSON
About
# Fractal Notebooks — Proof Knowledge Bundle
Appendix-level proofs for the quantitative results stated in the Fractal
Notebooks documentation, primarily [Chapter 1: History of Fractal
Mathematics](https://tyson-swetnam.github.io/fractal-notebooks/foundations/history/)
(`docs/foundations/history.md`). Each document is a `type: Fractal Proof`
record that states the theorem, its assumptions, numbered proof steps, an
explicit **verification status** distinguishing machine-checked steps from
steps asserted on the authority of a named theorem, the historical source, and
a cross-link to the matching concept in [`../concepts/`](../concepts/).
## Verification conventions
Each proof step is tagged:
* **`[verified]`** — checked by symbolic or numerical computation (SymPy /
NumPy) in the `fractal-proof` environment. The check is described in the
step and reproducible.
* **`[asserted]`** — relied upon as the conclusion of a named, published
theorem that is cited but **not** re-derived here (e.g
Details
- Kind
- OKF bundles
- Topic
- Version control
- Publisher
- tyson-swetnam
- Origin
- okf_github
- Category
- dados
- Version
- 0.1
- Added
- 2026-09-09 12:02:17
- Updated
- 2026-09-09 12:02:17
- Origin id
tyson-swetnam/fractal-notebooks:okf/proofs/index.md