kummahiihcategory_equations0.1.0

Set+products reading of a pipe/branch identity related to python-category-equations
#category #equations #pipe #lean
Displaying 1-1 of 1 versions of category_equations
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    23 days ago
    Released on September 19, 2026 at 4:53:04PM
    Commit 8e5d64c builds on its old leanprover/lean4:v4.34.0
    v4.34.0
    35.1 KB Build archive size: 35131 bytes.