Testing Infrastructure for Temporal AbstractioNs
Why do you think that https://github.com/haskell-checkers/checkers is a good alternative to titan
Testing Infrastructure for Temporal AbstractioNs
Why do you think that https://github.com/haskell-checkers/checkers is a good alternative to titan