Revenue
Revenue hasn't been disclosed. If you run this product, claim the listing to add figures with a source.
Public traction
About
a systems language with Z3 theorem proving in the compiler. Launched on Show HN; see the discussion thread for the maker's own description.
