A type checker for the kind2 language. It has some utilities to [compile kind2 code][compiler] into a version that the checker can understand and [transform the answer back][report] into a version that the Rust side can manipulate.
A type checker for the kind2 language. It has some utilities to [compile kind2 code][compiler] into a version that the checker can understand and [transform the answer back][report] into a version that the Rust side can manipulate.