emberianminidregg

Condensed & experimental proof systems for zk/fhe and semantics for agent coordination
Displaying 1-1 of 1 versions of minidregg
Sort by
  1. Not a part of any version track.
    1b56663
    6 hours ago
    Released on November 14, 2026 at 1:48:52PM
    Commit 1b56663 fails to build on leanprover/lean4:v4.35.0
    v4.35.0