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.
    30f9bec
    a month ago
    Released on September 11, 2024 at 4:04:15PM
    Commit 30f9bec builds on its recent leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1
    5.3 MB Build archive size: 5292027 bytes.