@leostera/feynman
esm Styles
Executable specs of how a system behaves: a simulator, a model checker, flows and their diffs, derived from one TypeScript file.
Version 0.15.0
Keywords
specificationmodel-checkingsimulationdistributed-systemspi-package
INSTALL