Dustytables | Qcert | |
---|---|---|
Stars | 61 | 52 |
Downloads | ||
Dependent Packages | 2 | |
Dependent Repos | 1 | |
Most Recent Commit | 3 years ago | 10 months ago |
Total Releases | 16 | 12 |
Latest Release | May 28, 2021 | May 28, 2022 |
Open Issues | 3 | 33 |
License | mit | apache-2.0 |
Programming Language | F# | Coq |