No results found

reactor-model

A Lean-based formalization of the Reactor model.
Displaying 1-1 of 1 versions of reactor-model
Sort by
  1. Not a part of any version track.
    d30394f
    2 months ago
    Released on November 22, 2024 at 9:32:08AM
    Commit d30394f builds on its old leanprover/lean4:v4.14.0-rc2
    v4.14.0-rc2
    5.3 MB Build archive size: 5291248 bytes.