{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"lean4","owner":"leanprover","isFork":false,"description":"Lean 4 programming language and theorem prover","allTopics":["lean","lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":155,"issueCount":533,"starsCount":3918,"forksCount":335,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T17:41:43.180Z"}},{"type":"Public","name":"lean4-pr-releases","owner":"leanprover","isFork":false,"description":"Automated releases from leanprover/lean4 PRs","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,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,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T17:29:35.986Z"}},{"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":134,"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,12,2,5,4,4,7,0,2,0,6,0,0,7,2,2,3,1,2,2,0,1,13,8,4,7,2,17,3,2,2,7,13,1,8],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T15:58:51.283Z"}},{"type":"Public","name":"leansat","owner":"leanprover","isFork":false,"description":"This package provides an interface and foundation for verified SAT reasoning","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":3,"issueCount":6,"starsCount":34,"forksCount":4,"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,5,66,28,17,19,17,6,9,2,5,17,13,23,27,29,14,8],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T14:56:12.045Z"}},{"type":"Public","name":"reservoir-index","owner":"leanprover","isFork":false,"description":"Registry index for Reservoir","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T13:22:48.181Z"}},{"type":"Public","name":"lean-action","owner":"leanprover","isFork":false,"description":"GitHub action for standard CI in Lean projects","allTopics":["lean","github-actions","lean4"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":5,"issueCount":9,"starsCount":10,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T12:04:56.592Z"}},{"type":"Public","name":"doc-gen4","owner":"leanprover","isFork":false,"description":"Document Generator for Lean 4","allTopics":["lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":2,"issueCount":23,"starsCount":55,"forksCount":36,"license":"Apache License 2.0","participation":[0,1,0,0,0,4,3,2,0,4,3,1,15,7,2,2,4,2,4,0,2,5,6,2,1,1,0,0,4,15,3,0,1,1,0,0,0,0,0,0,0,0,1,0,0,0,3,2,0,1,1,18],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T11:12:38.721Z"}},{"type":"Public","name":"lean4-nightly","owner":"leanprover","isFork":false,"description":"Nightly builds","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T08:05:01.127Z"}},{"type":"Public","name":"LNSym","owner":"leanprover","isFork":false,"description":"Armv8 Native Code Symbolic Simulator in Lean","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":4,"issueCount":1,"starsCount":32,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T21:07:25.356Z"}},{"type":"Public","name":"lean4wip","owner":"leanprover","isFork":true,"description":"Lean 4 fork for working in progress development","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":335,"license":"Apache License 2.0","participation":[3,18,26,10,11,18,15,25,27,13,15,25,25,17,20,12,27,56,21,36,32,18,24,31,32,18,28,18,32,30,23,12,20,34,50,112,104,83,52,47,33,44,15,31,50,45,54,39,45,44,14,39],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T20:10:59.993Z"}},{"type":"Public","name":"SampCert","owner":"leanprover","isFork":false,"description":"SampCert : Verified Differential Privacy","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":4,"issueCount":7,"starsCount":43,"forksCount":4,"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,16,21,13,10,15,17,30,26,25,12,25,24,16,6,7,12,62,34,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T17:35:32.176Z"}},{"type":"Public","name":"verso","owner":"leanprover","isFork":false,"description":"Lean documentation authoring tool","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":21,"starsCount":63,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T04:12:11.352Z"}},{"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.","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":0,"starsCount":16,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T00:39:31.989Z"}},{"type":"Public","name":"elan","owner":"leanprover","isFork":false,"description":"The Lean version manager","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":23,"starsCount":262,"forksCount":34,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T08:45:24.030Z"}},{"type":"Public","name":"theorem_proving_in_lean4","owner":"leanprover","isFork":false,"description":"Theorem Proving in Lean 4","allTopics":["lean","lean4"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":14,"issueCount":15,"starsCount":142,"forksCount":80,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T15:04:10.548Z"}},{"type":"Public","name":"subverso","owner":"leanprover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":3,"starsCount":3,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T08:14:55.278Z"}},{"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","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":[3,18,26,10,11,18,15,25,27,13,15,25,25,17,20,12,27,56,21,36,32,18,24,31,32,18,28,18,32,30,23,12,20,34,50,112,104,83,52,47,33,44,15,31,50,45,54,37,0,0,0,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","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":"lean4-cli","owner":"leanprover","isFork":false,"description":"A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.","allTopics":["cli","lean","lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":57,"forksCount":9,"license":"MIT License","participation":[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,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)","allTopics":[],"primaryLanguage":{"name":"Vue","color":"#41b883"},"pullRequestCount":0,"issueCount":13,"starsCount":16,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-20T00:01:52.526Z"}},{"type":"Public","name":"leanbv","owner":"leanprover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"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","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":38,"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,0,0,0],"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.","allTopics":["visualization","lean","interactive-theorem-proving","lean4","alectryon"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":2,"issueCount":11,"starsCount":57,"forksCount":15,"license":"Apache License 2.0","participation":[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,3,2,0,0,0,3,0,0,2,0,0,0,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","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","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":2,"issueCount":13,"starsCount":15,"forksCount":24,"license":null,"participation":[0,2,1,0,1,0,0,1,0,1,3,4,4,1,5,2,1,5,0,0,0,0,5,2,1,0,0,0,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"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","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":2,"starsCount":11,"forksCount":4,"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,2,0,0,0,0,1,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-11T13:42:20.587Z"}},{"type":"Public","name":"release-index","owner":"leanprover","isFork":false,"description":"Index of Lean releases","allTopics":[],"primaryLanguage":null,"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,3,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],"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","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. ","allTopics":["lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":98,"forksCount":19,"license":"Apache License 2.0","participation":[0,2,8,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T12:07:33.921Z"}},{"type":"Public archive","name":"lean3","owner":"leanprover","isFork":false,"description":"Lean Theorem Prover","allTopics":["programming-language","dependent-types","theorem-proving","verification","type-theory","lean"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":58,"starsCount":2141,"forksCount":216,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-14T22:40:02.979Z"}}],"repositoryCount":55,"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"}