SamuelSchlesingercomplexitylib-v10.1.0

Legacy Complexitylib V1; development continues at cslib-community/complexitylib.
Displaying 1-2 of 2 versions of complexitylib-v1
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    v1-final
    24 days ago
    Released on October 22, 2026 at 12:58:49AM
    Commit 1d31cd7 builds on its recent leanprover/lean4:v4.35.0-rc3
    v4.35.0-rc3
    719.3 MB Build archive size: 719287573 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v1-final
    24 days ago
    Released on October 22, 2026 at 12:58:49AM
    Commit 1d31cd7 builds on its recent leanprover/lean4:v4.35.0-rc3
    v4.35.0-rc3
    719.3 MB Build archive size: 719287573 bytes.