Something went wrong. Try again.
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Something went wrong. Try again.
- Languages
- 4
- Total size
- 89 kB
- Primary language
- JavaScript
JavaScript: 86%, 77 kB
Sass: 11%, 9.4 kB
HTML: 2%, 1.7 kB
Docker: 1%, 947 B
| Language | Size | Share |
|---|---|---|
| JavaScript | 77 kB | 86% |
| Sass | 9.4 kB | 11% |
| HTML | 1.7 kB | 2% |
| Docker | 947 B | 1% |