Post

bombadil-ltl is now dependency free (only `std`), and might be published to crates.io eventually: github.com/antithesishq... This enables other runtime monitoring use cases, like one contributor who used it in a game! I also want to build a new ltl-visualizer with it.