|
| Stars | 594 | 591 |
|---|
| Downloads |  | |
|---|
| Dependent Packages | 4 | |
|---|
| Dependent Repos | 2 | |
|---|
| Most Recent Commit | 6 years ago | 3 months ago |
|---|
| Total Releases | 9 | 3 |
|---|
| Latest Release | September 28, 2015 | June 11, 2020 |
|---|
| Open Issues | 10 | 5 |
|---|
| License | apache-2.0 | epl-2.0 |
|---|
| Programming Language | JavaScript | Isabelle |
|---|
