{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"lean4","owner":"leanprover","isFork":false,"description":"Lean 4 programming language and theorem prover","topicNames":["lean","lean4"],"topicsNotShown":0,"allTopics":["lean","lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":143,"issueCount":514,"starsCount":3823,"forksCount":327,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T11:40:40.246Z"}},{"type":"Public","name":"lean-action","owner":"leanprover","isFork":false,"description":"GitHub action for standard CI in Lean projects","topicNames":["lean","github-actions","lean4"],"topicsNotShown":0,"allTopics":["lean","github-actions","lean4"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":2,"issueCount":5,"starsCount":8,"forksCount":2,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,4,11],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T11:25:25.863Z"}},{"type":"Public","name":"reservoir-index","owner":"leanprover","isFork":false,"description":"Registry index for Reservoir","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,11,17,14,14,13,14,13,14,20,11,14,14,13,13,13,10,15,12,10,13,12,14,14,14],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T10:52:44.181Z"}},{"type":"Public","name":"lean4-pr-releases","owner":"leanprover","isFork":false,"description":"Automated releases from leanprover/lean4 PRs","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T08:36:09.986Z"}},{"type":"Public","name":"lean4-nightly","owner":"leanprover","isFork":false,"description":"Nightly builds","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T07:55:57.127Z"}},{"type":"Public","name":"leansat","owner":"leanprover","isFork":false,"description":"This package provides an interface and foundation for verified SAT reasoning","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":2,"issueCount":4,"starsCount":26,"forksCount":3,"license":"Apache License 2.0","participation":[0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,56,40,15,21,15,7,7,3,4,14,16,25,24],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-19T15:13:14.628Z"}},{"type":"Public","name":"vscode-lean4","owner":"leanprover","isFork":false,"description":"Visual Studio Code extension for the Lean 4 proof assistant","topicNames":["lean","vscode"],"topicsNotShown":0,"allTopics":["lean","vscode"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":2,"issueCount":48,"starsCount":125,"forksCount":39,"license":"Apache License 2.0","participation":[0,5,0,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-19T15:08:42.273Z"}},{"type":"Public","name":"verso","owner":"leanprover","isFork":false,"description":"Lean documentation authoring tool","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":20,"starsCount":56,"forksCount":7,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,8,0,2,0,11,16,14,0,0,11,4,7,0,8,10,1,2,2,3,2,15,0,3,1,2,1,4,1,9],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T08:26:30.431Z"}},{"type":"Public","name":"subverso","owner":"leanprover","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":1,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,7,1,4,0,1,3,2,0,1,2,7],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T08:14:55.278Z"}},{"type":"Public","name":"LNSym","owner":"leanprover","isFork":false,"description":"Armv8 Native Code Symbolic Simulator in Lean","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":4,"issueCount":1,"starsCount":31,"forksCount":10,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,13,14,7,20,21,10,6,3,1,6,2,1,2,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T23:52:54.046Z"}},{"type":"Public","name":"SampCert","owner":"leanprover","isFork":false,"description":"SampCert : Verified Differential Privacy","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":2,"issueCount":0,"starsCount":36,"forksCount":3,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,14,21,15,9,11,15,32,21,33,14,21,25,19,6,4,11],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T16:17:12.057Z"}},{"type":"Public","name":"lean4-ci-test","owner":"leanprover","isFork":false,"description":"A copy of the lean4 repository to test changes to the repository and CI setup","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":[7,14,20,3,17,22,12,13,15,16,28,25,13,14,28,20,19,21,9,27,57,23,28,35,24,20,25,39,16,28,24,31,28,25,8,22,35,50,90,119,81,60,46,30,47,18,26,40,50,53,49,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T13:49:23.355Z"}},{"type":"Public","name":"fp-lean","owner":"leanprover","isFork":false,"description":"Functional Programming in Lean","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":2,"issueCount":39,"starsCount":59,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T17:07:55.066Z"}},{"type":"Public","name":"theorem_proving_in_lean4","owner":"leanprover","isFork":false,"description":"Theorem Proving in Lean 4","topicNames":["lean","lean4"],"topicsNotShown":0,"allTopics":["lean","lean4"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":13,"issueCount":14,"starsCount":141,"forksCount":79,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T14:11:56.626Z"}},{"type":"Public","name":"doc-gen4","owner":"leanprover","isFork":false,"description":"Document Generator for Lean 4","topicNames":["lean4"],"topicsNotShown":0,"allTopics":["lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":29,"starsCount":54,"forksCount":34,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T05:59:28.878Z"}},{"type":"Public","name":"lean4checker","owner":"leanprover","isFork":false,"description":"Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":0,"starsCount":15,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T02:53:13.379Z"}},{"type":"Public","name":"lean4-cli","owner":"leanprover","isFork":false,"description":"A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.","topicNames":["cli","lean","lean4"],"topicsNotShown":0,"allTopics":["cli","lean","lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":56,"forksCount":9,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,2,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T13:20:49.511Z"}},{"type":"Public","name":"reservoir","owner":"leanprover","isFork":false,"description":"Package registry for Lean/Lake. (WIP)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Vue","color":"#41b883"},"pullRequestCount":0,"issueCount":12,"starsCount":15,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-20T00:01:52.526Z"}},{"type":"Public","name":"elan","owner":"leanprover","isFork":false,"description":"The Lean version manager","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":23,"starsCount":260,"forksCount":34,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-22T22:01:53.030Z"}},{"type":"Public","name":"leanbv","owner":"leanprover","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T18:31:00.164Z"}},{"type":"Public","name":"functional_programming_in_lean","owner":"leanprover","isFork":false,"description":"A book about functional programming in Lean","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":38,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T09:45:24.981Z"}},{"type":"Public","name":"LeanInk","owner":"leanprover","isFork":false,"description":"LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.","topicNames":["visualization","lean","interactive-theorem-proving","lean4","alectryon"],"topicsNotShown":0,"allTopics":["visualization","lean","interactive-theorem-proving","lean4","alectryon"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":2,"issueCount":11,"starsCount":56,"forksCount":15,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,13,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,3,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-02T10:38:29.236Z"}},{"type":"Public","name":"presentations","owner":"leanprover","isFork":false,"description":"lean-related presentations","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":3,"issueCount":1,"starsCount":15,"forksCount":9,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-25T10:33:46.316Z"}},{"type":"Public","name":"leanprover.github.io","owner":"leanprover","isFork":false,"description":"www","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":2,"issueCount":12,"starsCount":15,"forksCount":24,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-11T16:39:19.127Z"}},{"type":"Public","name":"lean4export","owner":"leanprover","isFork":false,"description":"Plain-text declaration export for Lean 4","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":2,"starsCount":10,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-11T13:42:20.587Z"}},{"type":"Public","name":"release-index","owner":"leanprover","isFork":false,"description":"Index of Lean releases","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-26T14:20:42.748Z"}},{"type":"Public archive","name":"lean3-web-editor","owner":"leanprover","isFork":false,"description":"Lean web editor","topicNames":[],"topicsNotShown":0,"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 archive","name":"lake","owner":"leanprover","isFork":false,"description":"**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean. ","topicNames":["lean4"],"topicsNotShown":0,"allTopics":["lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":97,"forksCount":19,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T12:07:33.921Z"}},{"type":"Public archive","name":"lean3","owner":"leanprover","isFork":false,"description":"Lean Theorem Prover","topicNames":["programming-language","dependent-types","theorem-proving","verification","type-theory","lean"],"topicsNotShown":0,"allTopics":["programming-language","dependent-types","theorem-proving","verification","type-theory","lean"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":58,"starsCount":2138,"forksCount":216,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-14T22:40:02.979Z"}},{"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":19,"issueCount":53,"starsCount":118,"forksCount":48,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-17T00:43:22.008Z"}}],"repositoryCount":54,"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"}