|
Stars | 31,688 | 144 |
---|
Downloads | | |
---|
Dependent Packages | 12,036 | 9 |
---|
Dependent Repos | 90,501 | 10 |
---|
Most Recent Commit | 10 days ago | a year ago |
---|
Total Releases | 164 | 960 |
---|
Latest Release | December 08, 2023 | November 08, 2022 |
---|
Open Issues | 22 | 46 |
---|
License | other | apache-2.0 |
---|
Programming Language | JavaScript | Coq |
---|