4 releases
| 0.1.3 | May 11, 2023 |
|---|---|
| 0.1.2 | Apr 2, 2023 |
| 0.1.1 | Mar 3, 2023 |
| 0.1.0 | Jan 26, 2023 |
#1079 in Programming languages
Used in 3 crates
54KB
1.5K
SLoC
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.
Dependencies
~9–17MB
~242K SLoC