{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Agda","owner":"HoTT-Intro","isFork":false,"description":"Agda formalisation of the Introduction to Homotopy Type Theory","topicNames":["mathematics","agda","textbook","univalence","homotopy-type-theory","univalent-foundations","mathematics-library","univalent-mathematics","hott-uf","univalence-axiom"],"topicsNotShown":0,"allTopics":["mathematics","agda","textbook","univalence","homotopy-type-theory","univalent-foundations","mathematics-library","univalent-mathematics","hott-uf","univalence-axiom"],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":119,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-27T09:36:04.577Z"}},{"type":"Public","name":"Coq","owner":"HoTT-Intro","isFork":false,"description":"Formalization of the Introduction to Homotopy Type Theory in Coq","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-02T14:26:28.240Z"}},{"type":"Public","name":"HoTT-Intro.github.io","owner":"HoTT-Intro","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-28T15:34:46.411Z"}}],"repositoryCount":3,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}