This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
lmstr.bsky.social
did:plc:gurt6qkq2yocaohz5flltnmg
My comparison stops at: Both allow you to define a state machine, check invariants and temporal properties, and come with a model checker.
2024-12-05T18:50:02.866Z