{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"vscode-lean4","owner":"leanprover","isFork":false,"description":"Visual Studio Code extension for the Lean 4 proof assistant","allTopics":["lean","vscode"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":5,"issueCount":50,"starsCount":133,"forksCount":41,"license":"Apache License 2.0","participation":[2,3,7,0,6,0,2,9,6,1,0,1,3,1,1,0,0,5,11,1,7,4,4,3,4,2,0,6,0,0,4,5,2,3,1,2,0,2,1,7,14,4,7,2,15,4,2,3,7,12,1,9],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T15:47:44.283Z"}},{"type":"Public archive","name":"lean3-web-editor","owner":"leanprover","isFork":false,"description":"Lean web editor","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":8,"issueCount":6,"starsCount":9,"forksCount":26,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T13:29:17.969Z"}},{"type":"Public","name":"vscode-lean","owner":"leanprover","isFork":false,"description":"Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":19,"issueCount":53,"starsCount":119,"forksCount":48,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-17T00:43:22.008Z"}},{"type":"Public","name":"lean-client-js","owner":"leanprover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":20,"issueCount":3,"starsCount":34,"forksCount":12,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-31T02:21:06.627Z"}}],"repositoryCount":4,"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"}