Sienna Meridian Satterwhite 3628424f43 docs(lean4): add Rust cross-references to formal specs ...

Add documentation comments linking Lean 4 specifications to their
corresponding Rust implementations (tree_predict, mlp_predict_32,
PackedNode). Reference TorchLean arXiv ID for future axiom replacement.

Signed-off-by: Sienna Meridian Satterwhite <sienna@sunbeam.pt>

2026-03-10 23:38:22 +00:00

..

Basic.lean

feat(lean4): add formal verification specs for ensemble models

2026-03-10 23:38:21 +00:00

DecisionTree.lean

docs(lean4): add Rust cross-references to formal specs

2026-03-10 23:38:22 +00:00

Ensemble.lean

feat(lean4): add formal verification specs for ensemble models

2026-03-10 23:38:21 +00:00

MLP.lean

docs(lean4): add Rust cross-references to formal specs

2026-03-10 23:38:22 +00:00

ReLU.lean

feat(lean4): add formal verification specs for ensemble models

2026-03-10 23:38:21 +00:00

Sigmoid.lean

docs(lean4): add Rust cross-references to formal specs

2026-03-10 23:38:22 +00:00