{"payload":{"pageCount":1,"repositories":[{"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":[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,9,17,14,14,13,14,13,14,20,13,12,14,13,13,13,10,15,12,12,11,12,14,14,14,13,13],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-02T13:18:25.181Z"}},{"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":145,"issueCount":533,"starsCount":3881,"forksCount":329,"license":"Apache License 2.0","participation":[20,3,16,22,13,13,14,15,30,20,18,14,28,20,16,23,10,24,53,27,20,44,24,20,26,39,17,26,26,27,28,27,10,22,34,49,68,131,86,66,41,35,47,18,27,38,44,58,44,40,52,16],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-02T08:06:00.185Z"}},{"type":"Public","name":"doc-gen4","owner":"leanprover","isFork":false,"description":"Document Generator for Lean 4","allTopics":["lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":29,"starsCount":54,"forksCount":35,"license":"Apache License 2.0","participation":[5,0,0,1,0,0,4,0,3,2,4,2,2,8,9,7,2,1,3,6,0,0,5,8,2,0,2,0,0,3,15,4,0,1,1,0,0,0,0,0,0,0,0,1,0,0,0,2,3,0,1,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T09:49:20.115Z"}},{"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":329,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T20:51:26.993Z"}},{"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":6,"issueCount":7,"starsCount":30,"forksCount":3,"license":"Apache License 2.0","participation":[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,1,47,51,15,21,15,6,8,3,3,12,19,25,23,28,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T10:30:29.959Z"}},{"type":"Public","name":"SampCert","owner":"leanprover","isFork":false,"description":"SampCert : Verified Differential Privacy","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":2,"issueCount":7,"starsCount":40,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T21:29:22.645Z"}},{"type":"Public","name":"verso","owner":"leanprover","isFork":false,"description":"Lean documentation authoring tool","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":21,"starsCount":62,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T21:18:54.072Z"}},{"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":[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,18,22,10,7,3,1,6,2,1,2,0,0,0,1,4,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T01:24:43.949Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T13:49:23.355Z"}},{"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":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,13,2,1,3,0,0,2,4,0,5,0,0,4,0,0,0,0,0,2,0,0,0,2,2,0,2,0,1,0,1,1,5,0,0,0,0],"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.","allTopics":["cli","lean","lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":56,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T13:20:49.511Z"}},{"type":"Public","name":"leanbv","owner":"leanprover","isFork":false,"description":"","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":"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":56,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-02T10:38:29.236Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-11T13:42:20.587Z"}},{"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":97,"forksCount":19,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T12:07:33.921Z"}},{"type":"Public","name":"super","owner":"leanprover","isFork":false,"description":"Superposition prover","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":3,"starsCount":15,"forksCount":5,"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,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-02-16T05:46:26.739Z"}},{"type":"Public archive","name":"mini_crush","owner":"leanprover","isFork":false,"description":"Mini crush tactic example","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-18T15:27:43.455Z"}},{"type":"Public","name":"smt2_interface","owner":"leanprover","isFork":false,"description":"Interface to SMT2 solvers","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":2,"starsCount":9,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-18T15:26:48.735Z"}}],"repositoryCount":19,"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"}