Something went wrong. Try again.
the next generation of the in-browser educational proof assistant
Something went wrong. Try again.
- Languages
- 6
- Total size
- 135 kB
- Primary language
- JavaScript
JavaScript: 48%, 65 kB
CSS: 27%, 37 kB
XSL: 17%, 23 kB
TypeScript: 7%, 9.2 kB
HTML: <1%, 655 B
Shell: <1%, 180 B
| Language | Size | Share |
|---|---|---|
| JavaScript | 65 kB | 48% |
| CSS | 37 kB | 27% |
| XSL | 23 kB | 17% |
| TypeScript | 9.2 kB | 7% |
| HTML | 655 B | <1% |
| Shell | 180 B | <1% |