Something went wrong. Try again.
dependent-types proof-assistant
Something went wrong. Try again.
- Languages
- 5
- Total size
- 469 kB
- Primary language
- Swift
Swift: 65%, 304 kB
Haskell: 34%, 156 kB
TypeScript: 1%, 6.3 kB
CSS: <1%, 1.6 kB
Shell: <1%, 436 B
| Language | Size | Share |
|---|---|---|
| Swift | 304 kB | 65% |
| Haskell | 156 kB | 34% |
| TypeScript | 6.3 kB | 1% |
| CSS | 1.6 kB | <1% |
| Shell | 436 B | <1% |