LarsenClose/cmp-lean: CMP Lean 4 Formalization v1.0.1

Published February 21, 2026 | Version v1.0.1

Software Open

Re-release for Zenodo archival. 13 theorems covering holon exchange, membrane failure modes, and openness constraint.

Files

Name	Size	Download all
LarsenClose/cmp-lean-v1.0.1.zip md5:34baaa8b817f52f7f416a5255d5cc197	18.2 kB	Preview Download

Is supplement to: Software: https://github.com/LarsenClose/cmp-lean/tree/v1.0.1 (URL)

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more