marco-davidainfinity

Repository for the formalization of A∞ categories, following Seidel's book.
Displaying 1-2 of 2 versions of ainfinity
Sort by
  1. Not a part of any version track.
    709754e
    2 days ago
    Released on November 12, 2026 at 11:37:43PM
    Commit 709754e builds on its recent leanprover/lean4:v4.35.0
    v4.35.0
    7.6 MB Build archive size: 7608423 bytes.
  2. Not a part of any version track.
    749129a
    v4.35.0
    4 days ago
    Released on November 10, 2026 at 6:40:23PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0