{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"mathlib_stats","owner":"leanprover-community","isFork":false,"description":"Display gitstats output on the mathlib website","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":[7,7,7,7,7,7,7,7,7,7,7,7,7,7,13,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,11,7,7,7,7,7,7,7,6,7,6,6,7,7],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T02:19:37.618Z"}},{"type":"Public","name":"blog","owner":"leanprover-community","isFork":false,"description":"Source for the community blog","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":5,"starsCount":6,"forksCount":16,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T16:44:35.598Z"}},{"type":"Public","name":"leancrawler","owner":"leanprover-community","isFork":false,"description":"An obsolete python library which gathers statistics and relational information about Lean 3 libraries.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":17,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-20T15:24:33.290Z"}},{"type":"Public","name":"azure-scripts","owner":"leanprover-community","isFork":false,"description":"scripts and cron jobs for Azure","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-07T18:24:16.180Z"}},{"type":"Public","name":"doc-gen","owner":"leanprover-community","isFork":false,"description":"Generate HTML documentation for mathlib and Lean","allTopics":["documentation-generator"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":9,"issueCount":23,"starsCount":21,"forksCount":20,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-11T20:16:48.189Z"}},{"type":"Public archive","name":"mathlib-tools","owner":"leanprover-community","isFork":false,"description":"Development tools for <a href=\"https://github.com/leanprover-community/mathlib\">https://github.com/leanprover-community/mathlib</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":32,"forksCount":29,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-29T18:59:11.777Z"}},{"type":"Public","name":"format_lean","owner":"leanprover-community","isFork":false,"description":"A Lean file formatter","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":59,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-03T13:08:57.587Z"}},{"type":"Public","name":"lean-client-python","owner":"leanprover-community","isFork":false,"description":"Python talking to the Lean theorem prover","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":9,"starsCount":36,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-25T10:39:24.315Z"}}],"repositoryCount":8,"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":"leanprover-community repositories"}