Reactor Model
This repository contains a Lean-based formalization of the Reactor model (cf. Lingua Franca), as well as proofs about its properties.
marcusrossel/reactor-model
None Description
GitHub Link DocumentationPick a version!
TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.