| key | value |
|---|---|
| id | 40139365 |
| name | learn-tt |
| full_name | jozefg/learn-tt |
| html_url | https://github.com/jozefg/learn-tt |
| description | A collection of resources for learning type theory and type theory adjacent fields. |
| created_at | Aug. 3, 2015, 5:47 p.m. |
| updated_at | Dec. 13, 2024, 4:43 p.m. |
| pushed_at | Aug. 30, 2024, 2:44 p.m. |
| size | 39 |
| stargazers_count | 2,181 |
| watchers_count | 90 |
| forks_count | 118 |
| open_issues | 6 |
| language | Unknown languages |
| awesome_list |
https://github.com/mostafatouny/awesome-theoretical-computer-science |