Micro Policies Coq vs Cli
| Cli | Micro Policies Coq | |
|---|---|---|
| Stars | 4,820 | 15 |
| Downloads |  | |
| Dependent Packages | 1,939 | |
| Dependent Repos | 3,361 | |
| Most Recent Commit | 17 days ago | 5 years ago |
| Total Releases | 1,914 | |
| Latest Release | December 04, 2023 | |
| Open Issues | 126 | 1 |
| License | other | other |
| Programming Language | TypeScript | Coq |