Statex | Counterexample Navigation Timetravel | |
---|---|---|
Stars | 62 | 36 |
Downloads | ||
Dependent Packages | 1 | |
Dependent Repos | 2 | |
Most Recent Commit | 6 years ago | 5 years ago |
Total Releases | 18 | |
Latest Release | April 20, 2018 | |
Open Issues | 7 | 1 |
License | mit | mit |
Programming Language | TypeScript | Swift |