VCA-EPFLgraphiti

Verified graph rewriting (for dataflow circuits).
Displaying 1-1 of 1 versions of graphiti
Sort by
  1. Not a part of any version track.
    84f2b5d
    6 hours ago
    Released on July 30, 2025 at 9:28:11AM
    Commit 84f2b5d builds on its old leanprover/lean4:nightly-2025-07-25
    nightly-2025-07-25
    14.5 MB Build archive size: 14531201 bytes.