Subdirectories:
| Name | Lines | Files | Authors | Tokens | Color Graph By Token Proportion |
|---|
| formal | 1082 | 28 | 4 | 2963 |
| Author Name | Tokens | Token Proportion |
|---|---|---|
| 2944 | 99.36% | |
| 16 | 0.54% | |
| 2 | 0.07% | |
| 1 | 0.03% | |
| Total | 2963 |
| Author | Tokens | Proportion | Commits | Proportion | |
|---|---|---|---|---|---|
| 0 | 2944 | 99.36% | 1 | 25.00% | |
| 1 | 16 | 0.54% | 1 | 25.00% | |
| 2 | 2 | 0.07% | 1 | 25.00% | |
| 3 | 1 | 0.03% | 1 | 25.00% | |
| Total | 2963 | 4 |