{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"math-o-matic","owner":"math-o-matic","isFork":false,"description":"Computerized proof system on the web","allTopics":["lambda-calculus","proof","logic","theorem-proving","mathematics","proof-assistant","proof-checker","math"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":3,"issueCount":26,"starsCount":6,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-10T00:43:05.310Z"}},{"type":"Public archive","name":"paper","owner":"math-o-matic","isFork":false,"description":"\n<a class=\"user-mention\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/logico-philosophical/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/logico-philosophical\">@logico-philosophical</a>의 학부 졸업논문","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-14T10:40:03.436Z"}},{"type":"Public","name":"vscode","owner":"math-o-matic","isFork":false,"description":"math-o-matic language support for Visual Studio Code","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-01T17:14:40.862Z"}}],"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":"math-o-matic repositories"}