metaproof
A Python toolkit for meta-analysis of continuous outcomes, with a separate Bend 2 proof suite for discrete arithmetic and structural models. Those Bend laws do not establish correctness of the Python engine or its floating-point calculations.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/editnori/metaproof ↗GitHubhttps://github.com/editnori/metaproof/blob/main/README.md ↗GitHubhttps://github.com/editnori/metaproof/blob/main/validation/proofs/bend/met… ↗