For those of you interested in formal verification & semantics recommend you have a look at the K framework[0] that can be used for easily creating Formal Sema

For those of you interested in formal verification & semantics recommend you have a look at the K framework[0] that can be used for easily creating Formal Semantics. [0]: https://runtimeverification.com/blog/k-framework-an-overview/ https://runtimeverification.com/blog/k-framework-an-overview...