We plan to try Structure101 [0] next year to verify invariants. I would love to see comments from people who have experience with it. [0] https://structure101.

We plan to try Structure101 [0] next year to verify invariants. I would love to see comments from people who have experience with it. [0] https://structure101.com/ https://structure101.com/