https://reservoir.lean-lang.org/ https://reservoir.lean-lang.org/inclusion-criteria https://reservoir.lean-lang.org/packages https://reservoir.lean-lang.org/@0art0/kimina https://github.com/0art0.png https://github.com/user-attachments/assets/97b40ee6-ba0e-42d2-b0f4-88ee68e86c57 https://reservoir.lean-lang.org/@0art0/lean-slides https://github.com/0art0.png https://github.com/0art0/lean-slides/assets/18333981/29029c7b-f586-45a1-b203-ffdc66a41049 https://reservoir.lean-lang.org/@1a776/mathmatic_in_elementary_number_th https://github.com/1a776.png https://reservoir.lean-lang.org/@a2435191/logic-formalization https://github.com/a2435191.png https://reservoir.lean-lang.org/@abdoo8080/cvc5 https://github.com/abdoo8080.png https://reservoir.lean-lang.org/@acmepjz/Iwasawalib https://github.com/acmepjz.png https://reservoir.lean-lang.org/@acmepjz/MD4Lean https://github.com/acmepjz.png https://reservoir.lean-lang.org/@adamtopaz/lean_extras https://github.com/adamtopaz.png https://reservoir.lean-lang.org/@adamtopaz/NodeGraph https://github.com/adamtopaz.png https://reservoir.lean-lang.org/@adomani/advents https://github.com/adomani.png https://reservoir.lean-lang.org/@adomani/mA4N1 https://github.com/adomani.png https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@AdrienChampion/collChoSoWel https://github.com/AdrienChampion.png https://reservoir.lean-lang.org/@AdrienChampion/loadTerms https://github.com/AdrienChampion.png https://reservoir.lean-lang.org/@AdrienChampion/safeIdx https://github.com/AdrienChampion.png https://reservoir.lean-lang.org/@AeneasVerif/tutorial https://github.com/AeneasVerif.png https://reservoir.lean-lang.org/@AfonsoBitoque/LeanServer https://github.com/AfonsoBitoque.png https://reservoir.lean-lang.org/@ah1112/synthetic_euclid_4 https://github.com/ah1112.png https://reservoir.lean-lang.org/@ahhwuhu/Zeta3Irrational https://github.com/ahhwuhu.png https://reservoir.lean-lang.org/@AlexBrodbelt/Game https://github.com/AlexBrodbelt.png https://reservoir.lean-lang.org/@alexf91/lean4-ctypes https://github.com/alexf91.png https://reservoir.lean-lang.org/@alexjbest/leaff https://github.com/alexjbest.png https://reservoir.lean-lang.org/@alexjgreig/Quave https://github.com/alexjgreig.png https://reservoir.lean-lang.org/@alexkeizer/qpf https://github.com/alexkeizer.png https://reservoir.lean-lang.org/@AlexKontorovich/CoveringSpacesProject https://github.com/AlexKontorovich.png https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@AlexKontorovich/Game https://github.com/AlexKontorovich.png https://reservoir.lean-lang.org/@AlexKontorovich/PrimeNumberTheoremAnd https://github.com/AlexKontorovich.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://img.shields.io/badge/Blueprint-Paper-red.svg?logo=github&logoColor=white https://img.shields.io/badge/Blueprint-Website-blue.svg?logo=github&logoColor=white https://img.shields.io/badge/Docs-Website-blue.svg?logo=readthedocs&logoColor=white https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@AlexLoitzl/pumping_cfg https://github.com/AlexLoitzl.png https://reservoir.lean-lang.org/@algebraic-dev/Colorized https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@algebraic-dev/Http https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@algebraic-dev/Parse https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@alma-n/Game https://github.com/alma-n.png https://reservoir.lean-lang.org/@alok/AsciiPlot https://github.com/alok.png https://reservoir.lean-lang.org/@alok/ConvolutedProofs https://github.com/alok.png https://reservoir.lean-lang.org/@alok/HexLuthor https://github.com/alok.png https://raw.githubusercontent.com/alok/HexLuthor/main/demo.png https://reservoir.lean-lang.org/@alok/lean-autograd https://github.com/alok.png https://reservoir.lean-lang.org/@alok/lean-inf https://github.com/alok.png https://reservoir.lean-lang.org/@alok/LeanBench https://github.com/alok.png https://reservoir.lean-lang.org/@alok/LeanPlot https://github.com/alok.png https://raw.githubusercontent.com/alok/LeanPlot/main/docs/img/line_y_equals_x.png https://raw.githubusercontent.com/alok/LeanPlot/main/docs/img/quadratic_y_equals_x2.png https://raw.githubusercontent.com/alok/LeanPlot/main/docs/img/overlay_yx_and_x2.png https://reservoir.lean-lang.org/@alok/Leantix https://github.com/alok.png https://reservoir.lean-lang.org/@alok/tetraGray https://github.com/alok.png https://raw.githubusercontent.com/alok/TetraGray/main/images/flat.png https://raw.githubusercontent.com/alok/TetraGray/main/images/doran.png https://reservoir.lean-lang.org/@amarmaduke/lean-stlc https://github.com/amarmaduke.png https://reservoir.lean-lang.org/@amarmaduke/lean-subst https://github.com/amarmaduke.png https://reservoir.lean-lang.org/@ammkrn/printiest https://github.com/ammkrn.png https://reservoir.lean-lang.org/@ammkrn/timelib https://github.com/ammkrn.png https://reservoir.lean-lang.org/@Anderssorby/SDL https://github.com/Anderssorby.png https://reservoir.lean-lang.org/@andrejbauer/lean2sexp https://github.com/andrejbauer.png https://reservoir.lean-lang.org/@andrejbauer/partial-combinatory-algebras https://github.com/andrejbauer.png https://reservoir.lean-lang.org/@AnirudhG07/huffman https://github.com/AnirudhG07.png https://reservoir.lean-lang.org/@anlucia/chromatic_polynomial https://github.com/anlucia.png https://reservoir.lean-lang.org/@anoma/goose https://github.com/anoma.png https://reservoir.lean-lang.org/@anoma/juvix-lean https://github.com/anoma.png https://reservoir.lean-lang.org/@anurudhp/aoc2022 https://github.com/anurudhp.png https://reservoir.lean-lang.org/@apnelson1/Matroid https://github.com/apnelson1.png https://reservoir.lean-lang.org/@arademaker/delphin https://github.com/arademaker.png https://reservoir.lean-lang.org/@arademaker/fad https://github.com/arademaker.png https://raw.githubusercontent.com/arademaker/fad/main/img/cover.jpeg https://github.com/arademaker/fad/actions/workflows/docs.yaml/badge.svg https://img.shields.io/badge/Lean-4.20.0-blue https://img.shields.io/badge/Mathlib-%E2%9C%93-green https://reservoir.lean-lang.org/@arademaker/vizagrams https://github.com/arademaker.png https://github.com/arademaker/vizagrams/actions/workflows/lean_action_ci.yml/badge.svg https://img.shields.io/badge/Lean-4.20.0--rc5-blue https://img.shields.io/badge/Mathlib-%E2%9C%93-green https://raw.githubusercontent.com/arademaker/vizagrams/main/assets/readme/imgs/Creating%20Basic%20Shapes.png https://raw.githubusercontent.com/arademaker/vizagrams/main/assets/readme/imgs/Applying%20Transformations.png https://raw.githubusercontent.com/arademaker/vizagrams/main/assets/readme/imgs/Composing%20Diagrams.png https://raw.githubusercontent.com/arademaker/vizagrams/main/assets/readme/imgs/ayout%20with%20Directional%20Operators.png https://raw.githubusercontent.com/arademaker/vizagrams/main/assets/readme/imgs/Nested%20Composition.png https://raw.githubusercontent.com/arademaker/vizagrams/main/assets/readme/imgs/ChessGame.png https://reservoir.lean-lang.org/@argumentcomputer/Blake3 https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/ix https://github.com/argumentcomputer.png https://upload.wikimedia.org/wikipedia/commons/5/5a/Planet_nine_artistic_plain.png https://raw.githubusercontent.com/argumentcomputer/ix/main/docs/fitsinthemargin.png https://reservoir.lean-lang.org/@argumentcomputer/LSpec https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Straume https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Vero https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/yatima https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/YatimaStdLib https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@arthur-adjedj/Leanduction https://github.com/arthur-adjedj.png https://reservoir.lean-lang.org/@Arthur742Ramos/Metatheory https://github.com/Arthur742Ramos.png https://img.shields.io/badge/Lean-4.24.0-blue.svg https://img.shields.io/badge/License-MIT-yellow.svg https://reservoir.lean-lang.org/@arthurpaulino/FxyLang https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/LeanMusic https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/LeanMySQL https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/LeanREPL https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/NumLean https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/viper https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@artie2000/real-closed-field https://github.com/artie2000.png https://reservoir.lean-lang.org/@astrainfinita/algorithm https://github.com/astrainfinita.png https://reservoir.lean-lang.org/@atlas-computing-org/bignum https://github.com/atlas-computing-org.png https://reservoir.lean-lang.org/@atlas-computing-org/coq_lean_translation https://github.com/atlas-computing-org.png https://reservoir.lean-lang.org/@ATOMSLab/DimensionalAnalysis https://github.com/ATOMSLab.png https://reservoir.lean-lang.org/@ATOMSLab/LeanLJ https://github.com/ATOMSLab.png https://img.shields.io/badge/License-Apache_2.0-blue.svg https://reservoir.lean-lang.org/@atrieu/cryptolib https://github.com/atrieu.png https://reservoir.lean-lang.org/@austinletson/use-lean-standard-action-with-bare-project https://github.com/austinletson.png https://reservoir.lean-lang.org/@auto-res/FoML https://github.com/auto-res.png https://img.shields.io/badge/arXiv-2503.19605-b31b1b.svg https://reservoir.lean-lang.org/@avigad/LeanSudoku https://github.com/avigad.png https://raw.githubusercontent.com/screenshot/screenshot.jpg https://reservoir.lean-lang.org/@avigad/VerificationDemo https://github.com/avigad.png https://reservoir.lean-lang.org/@awodey/joyalRepresentationTheorem https://github.com/awodey.png https://reservoir.lean-lang.org/@AxiomMath/Deadends https://github.com/AxiomMath.png https://raw.githubusercontent.com/AxiomMath/dead-ends/main/logo.svg https://reservoir.lean-lang.org/@AxiomMath/FelConjecture https://github.com/AxiomMath.png https://raw.githubusercontent.com/AxiomMath/fel-polynomial/main/logo.svg https://reservoir.lean-lang.org/@AxiomMath/PartialRegularity https://github.com/AxiomMath.png https://raw.githubusercontent.com/AxiomMath/partial-regularity/main/logo.svg https://reservoir.lean-lang.org/@b-mehta/ABCExceptions https://github.com/b-mehta.png https://reservoir.lean-lang.org/@b-mehta/AharoniKorman https://github.com/b-mehta.png https://reservoir.lean-lang.org/@b-mehta/FormalisingMathematics2026 https://github.com/b-mehta.png https://raw.githubusercontent.com/b-mehta/formalising-mathematics-notes/main/png/clone_forall.png?raw=true https://raw.githubusercontent.com/b-mehta/formalising-mathematics-notes/main/png/file_explorer.png?raw=true https://gitpod.io/button/open-in-gitpod.svg https://github.com/codespaces/badge.svg https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/Curve25519Dalek https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/FloatSpec https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/NumpySpec https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@bergmannjg/Curl https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@bergmannjg/Regex https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@bergmannjg/time https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@Bergschaf/banach_tarski https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@Bergschaf/LeanBanachTarski https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@Bergschaf/Localic-Caratheodory-Extensions https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@bjoernkjoshanssen/interest https://github.com/bjoernkjoshanssen.png https://reservoir.lean-lang.org/@bkase/VerifiedGPU https://github.com/bkase.png https://reservoir.lean-lang.org/@BoltonBailey/formalSnarksProject https://github.com/BoltonBailey.png https://reservoir.lean-lang.org/@bridgekat/filter-game https://github.com/bridgekat.png https://reservoir.lean-lang.org/@BRonen/sqlite https://github.com/BRonen.png https://reservoir.lean-lang.org/@CAIMEOX/json-schema https://github.com/CAIMEOX.png https://reservoir.lean-lang.org/@cameronfreer/exchangeability https://github.com/cameronfreer.png https://img.shields.io/badge/Lean-4-blue https://img.shields.io/badge/Blueprint-online-green https://raw.githubusercontent.com/cameronfreer/exchangeability/main/blueprint/web/import_graph_colored.png https://reservoir.lean-lang.org/@CarlKCarlK/RangeSetBlaze https://github.com/CarlKCarlK.png https://raw.githubusercontent.com/CarlKCarlK/range-set-blaze-lean/main/TitleImage1.png https://reservoir.lean-lang.org/@chasenorman/Canonical https://github.com/chasenorman.png https://reservoir.lean-lang.org/@chords-project/itc-course https://github.com/chords-project.png https://reservoir.lean-lang.org/@chrisflav/bruhat-tits https://github.com/chrisflav.png https://reservoir.lean-lang.org/@chrisflav/db https://github.com/chrisflav.png https://reservoir.lean-lang.org/@chrisflav/proetale https://github.com/chrisflav.png https://reservoir.lean-lang.org/@Clap-lang/clap https://github.com/Clap-lang.png https://reservoir.lean-lang.org/@cmu-l3/llmlean https://github.com/cmu-l3.png https://raw.githubusercontent.com/cmu-l3/llmlean/main/img/llmlean.png https://raw.githubusercontent.com/cmu-l3/llmlean/main/img/llmstep_empty.png https://raw.githubusercontent.com/cmu-l3/llmlean/main/img/llmstep_apply.png https://raw.githubusercontent.com/cmu-l3/llmlean/main/img/llmqed_example.png https://raw.githubusercontent.com/cmu-l3/llmlean/main/img/llmqed_pfr.png https://raw.githubusercontent.com/cmu-l3/llmlean/main/img/llmqed_pfr2.png https://reservoir.lean-lang.org/@codyroux/traat https://github.com/codyroux.png https://reservoir.lean-lang.org/@Command-Master/pseudorandom https://github.com/Command-Master.png https://reservoir.lean-lang.org/@compiler64/Monad https://github.com/compiler64.png https://reservoir.lean-lang.org/@ctchou/AutomataTheory https://github.com/ctchou.png https://reservoir.lean-lang.org/@dagurtomas/LeanCondensed https://github.com/dagurtomas.png https://reservoir.lean-lang.org/@dannypsnl/violet https://github.com/dannypsnl.png https://builds.sr.ht/~dannypsnl/violet.svg https://reservoir.lean-lang.org/@datokrat/Iterator https://github.com/datokrat.png https://reservoir.lean-lang.org/@DavePearce/LeanEVM https://github.com/DavePearce.png https://reservoir.lean-lang.org/@Deducteam/Lean2Dk https://github.com/Deducteam.png https://reservoir.lean-lang.org/@DhyeyMavani2003/chip-firing-with-lean https://github.com/DhyeyMavani2003.png https://reservoir.lean-lang.org/@digama0/lean4lean https://github.com/digama0.png https://reservoir.lean-lang.org/@djvelleman/htpi https://github.com/djvelleman.png https://reservoir.lean-lang.org/@Dominique-Lawson/lean_4 https://github.com/Dominique-Lawson.png https://reservoir.lean-lang.org/@draperlaboratory/ELFSage https://github.com/draperlaboratory.png https://reservoir.lean-lang.org/@dupuisf/BibtexQuery https://github.com/dupuisf.png https://reservoir.lean-lang.org/@dwrensha/animate https://github.com/dwrensha.png https://raw.githubusercontent.com/dwrensha/animate-lean-proofs/main/example.gif http://img.youtube.com/vi/KuxFWwwlEtc/maxresdefault.jpg http://img.youtube.com/vi/5IARsdn78xE/maxresdefault.jpg http://img.youtube.com/vi/gi8ZTjRO-xI/maxresdefault.jpg https://reservoir.lean-lang.org/@dwrensha/Chess https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/compfiles https://github.com/dwrensha.png http://img.youtube.com/vi/5NbYtDfXfR4/maxresdefault.jpg http://img.youtube.com/vi/gi8ZTjRO-xI/maxresdefault.jpg http://img.youtube.com/vi/TOzS4aC_K1g/maxresdefault.jpg http://img.youtube.com/vi/9d2nicgd68Q/maxresdefault.jpg https://reservoir.lean-lang.org/@dwrensha/maze https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/rupert https://github.com/dwrensha.png http://img.youtube.com/vi/jDTPBdxmxKw/maxresdefault.jpg http://img.youtube.com/vi/evKFok65t_E/maxresdefault.jpg https://reservoir.lean-lang.org/@dwrensha/tryAtEachStep https://github.com/dwrensha.png http://img.youtube.com/vi/67Ea9WbeAPI/maxresdefault.jpg https://reservoir.lean-lang.org/@ecyrbe/lean-units https://github.com/ecyrbe.png https://reservoir.lean-lang.org/@ElifUskuplu/stlc https://github.com/ElifUskuplu.png https://reservoir.lean-lang.org/@emilyriehl/Game https://github.com/emilyriehl.png https://reservoir.lean-lang.org/@emilyriehl/InfinityCosmos https://github.com/emilyriehl.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://img.shields.io/badge/Website-Ready-green https://img.shields.io/badge/Documentation-Passing-green https://img.shields.io/badge/Blueprint-WIP-blue https://img.shields.io/badge/Paper-WIP-blue https://img.shields.io/badge/Zulip_Channel-Join-blue https://reservoir.lean-lang.org/@eric-wieser/matrix_cookbook https://github.com/eric-wieser.png https://img.shields.io/badge/Gitpod-ready--to--code-908a85?logo=gitpod https://eric-wieser.github.io/lean-matrix-cookbook/progress_bar.svg https://reservoir.lean-lang.org/@eshelyaron/bdd https://github.com/eshelyaron.png https://raw.githubusercontent.com/eshelyaron/lean4-bdd/main/dependencies.svg https://reservoir.lean-lang.org/@fgdorais/algebra https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/extra https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/lean4-automata https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/logic https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/Parser https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/UnicodeBasic https://github.com/fgdorais.png https://reservoir.lean-lang.org/@FLDutchmann/selbergSieve https://github.com/FLDutchmann.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/arithmetization https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/Foundation https://github.com/FormalizedFormalLogic.png https://formalizedformallogic.github.io/Zoo/arithmetic.png https://formalizedformallogic.github.io/Zoo/set_theory.png https://formalizedformallogic.github.io/Zoo/propositional.png https://formalizedformallogic.github.io/Zoo/modal.png https://formalizedformallogic.github.io/Zoo/interpretability_logic.png https://opencollective.com/formalizedformallogic/donate/button.png?color=gray https://opencollective.com/formalizedformallogic/backers.svg https://reservoir.lean-lang.org/@FormalizedFormalLogic/incompleteness https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@formalproofs/mdplib https://github.com/formalproofs.png https://img.shields.io/badge/Blueprint-WIP-blue https://reservoir.lean-lang.org/@FormalSAT/trestle https://github.com/FormalSAT.png https://reservoir.lean-lang.org/@fplaunchpad/LeanLangur https://github.com/fplaunchpad.png https://reservoir.lean-lang.org/@fpvandoorn/bonnAnalysis https://github.com/fpvandoorn.png https://raw.githubusercontent.com/fpvandoorn/BonnAnalysis/master/img/ss1.png https://raw.githubusercontent.com/fpvandoorn/BonnAnalysis/master/img/ss2.png https://raw.githubusercontent.com/fpvandoorn/BonnAnalysis/master/img/ss3.png https://reservoir.lean-lang.org/@fpvandoorn/carleson https://github.com/fpvandoorn.png https://github.com/codespaces/badge.svg https://reservoir.lean-lang.org/@fpvandoorn/HausdorffSchoolLean https://github.com/fpvandoorn.png https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@fpvandoorn/LeanCourse https://github.com/fpvandoorn.png https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@fpvandoorn/LeanCourse25 https://github.com/fpvandoorn.png https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@fpvandoorn/LogicColloquiumTutorial https://github.com/fpvandoorn.png https://raw.githubusercontent.com/fpvandoorn/LogicColloquiumTutorial/master/images/codespaces0.png https://github.com/codespaces/badge.svg https://raw.githubusercontent.com/fpvandoorn/LogicColloquiumTutorial/master/images/codespaces3.png https://raw.githubusercontent.com/fpvandoorn/LogicColloquiumTutorial/master/images/codespaces4.png https://raw.githubusercontent.com/fpvandoorn/LogicColloquiumTutorial/master/images/codespaces5.png https://raw.githubusercontent.com/fpvandoorn/LogicColloquiumTutorial/master/images/codespaces6.png https://raw.githubusercontent.com/fpvandoorn/LogicColloquiumTutorial/master/images/local1.png https://raw.githubusercontent.com/fpvandoorn/LogicColloquiumTutorial/master/images/local2.png https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@fpvandoorn/sard https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/Seminar https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@FredRaj3/SemicircleLaw https://github.com/FredRaj3.png https://reservoir.lean-lang.org/@frenzymath/FATE-H https://github.com/frenzymath.png https://raw.githubusercontent.com/frenzymath/FATE-H/main/assets/FATE-H-sunburst.svg https://reservoir.lean-lang.org/@frenzymath/FATE-M https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/jixia https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/reap https://github.com/frenzymath.png https://reservoir.lean-lang.org/@functionally/Crypto https://github.com/functionally.png https://reservoir.lean-lang.org/@funexists/raylean https://github.com/funexists.png https://reservoir.lean-lang.org/@FWuermse/Postgres https://github.com/FWuermse.png https://reservoir.lean-lang.org/@GaloisInc/zkLeanEcosystem https://github.com/GaloisInc.png https://reservoir.lean-lang.org/@GasStationManager/ArtificialAlgorithms https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/CodeProofTheArena https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/FormalizeWithTest https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/LeanTool https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/SafeVerify https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@gdncc/cryptography https://github.com/gdncc.png https://reservoir.lean-lang.org/@Geoc2022/Game https://github.com/Geoc2022.png https://reservoir.lean-lang.org/@girafe-ai/formalising-mathematics https://github.com/girafe-ai.png https://raw.githubusercontent.com/girafe-ai/lean-course/master/png/clone_forall.png?raw=true https://raw.githubusercontent.com/girafe-ai/lean-course/master/png/file_explorer.png?raw=true https://gitpod.io/button/open-in-gitpod.svg https://github.com/codespaces/badge.svg https://reservoir.lean-lang.org/@girving/bottcher https://github.com/girving.png https://github.com/girving/bottcher/actions/workflows/lean.yml/badge.svg https://reservoir.lean-lang.org/@girving/interval https://github.com/girving.png https://github.com/girving/interval/actions/workflows/lean.yml/badge.svg https://img.shields.io/badge/doc-API_docs-blue https://reservoir.lean-lang.org/@girving/ray https://github.com/girving.png https://github.com/girving/ray/actions/workflows/lean.yml/badge.svg https://reservoir.lean-lang.org/@girving/ray-series https://github.com/girving.png https://github.com/girving/series/actions/workflows/lean.yml/badge.svg https://reservoir.lean-lang.org/@girving/render https://github.com/girving.png https://github.com/girving/ray-render/actions/workflows/lean.yml/badge.svg https://raw.githubusercontent.com/girving/ray-render/main/gallery/potential-2024feb9.png https://reservoir.lean-lang.org/@glams-lean-2024/Formal2024 https://github.com/glams-lean-2024.png https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@goens/Hoare https://github.com/goens.png https://reservoir.lean-lang.org/@goens/lost-pop-lean https://github.com/goens.png https://reservoir.lean-lang.org/@google-deepmind/debate https://github.com/google-deepmind.png https://reservoir.lean-lang.org/@google-deepmind/formal_conjectures https://github.com/google-deepmind.png https://github.com/google-deepmind/formal-conjectures/actions/workflows/build-and-docs.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://reservoir.lean-lang.org/@google-deepmind/imo https://github.com/google-deepmind.png https://github.com/google-deepmind/formal-imo/actions/workflows/ci.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://reservoir.lean-lang.org/@gsierra99/ExFormMathL4 https://github.com/gsierra99.png https://reservoir.lean-lang.org/@Gusarich/tvm-lean https://github.com/Gusarich.png https://reservoir.lean-lang.org/@Hagb/lean-groebner https://github.com/Hagb.png https://reservoir.lean-lang.org/@HannahSantos/FMCn_Lean https://github.com/HannahSantos.png https://reservoir.lean-lang.org/@hanwenzhu/hammer-demo https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@hanwenzhu/LeanArchitect https://github.com/hanwenzhu.png https://raw.githubusercontent.com/hanwenzhu/LeanArchitect-example/refs/heads/main/images/web.png https://raw.githubusercontent.com/hanwenzhu/LeanArchitect-example/refs/heads/main/images/depgraph.png https://reservoir.lean-lang.org/@hanwenzhu/MillerRabin https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@Happyves/workshop https://github.com/Happyves.png https://reservoir.lean-lang.org/@hargoniX/cpdt-lean https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/crup https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/Flame https://github.com/hargoniX.png https://raw.githubusercontent.com/hargoniX/Flame/main/img/test.svg https://reservoir.lean-lang.org/@hargoniX/leanwuzla https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/mini-redis https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/socket https://github.com/hargoniX.png https://reservoir.lean-lang.org/@haruhisa-enomoto/mathlib4-all-tactics https://github.com/haruhisa-enomoto.png https://reservoir.lean-lang.org/@haskell-spec/haskell-spec https://github.com/haskell-spec.png https://reservoir.lean-lang.org/@hdmkindom/mathmatic_in_elementary_number_th https://github.com/hdmkindom.png https://reservoir.lean-lang.org/@hgoldstein95/palamedes https://github.com/hgoldstein95.png https://reservoir.lean-lang.org/@hhu-adam/Game https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hhu-adam/i18n https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hhu-adam/webeditor https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hwatheod/galeShapley https://github.com/hwatheod.png https://reservoir.lean-lang.org/@iasakura/lean-yjs https://github.com/iasakura.png https://reservoir.lean-lang.org/@igrep/test https://github.com/igrep.png https://reservoir.lean-lang.org/@imbrem/DeBruijnSSA https://github.com/imbrem.png https://reservoir.lean-lang.org/@imbrem/discretion https://github.com/imbrem.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/FLT https://github.com/ImperialCollegeLondon.png https://img.shields.io/badge/Website-ready-green https://img.shields.io/badge/Documentation-passing-green https://img.shields.io/badge/Blueprint-WIP-blue https://img.shields.io/badge/Paper-WIP-blue https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://reservoir.lean-lang.org/@ImperialCollegeLondon/formalising-mathematics-2024 https://github.com/ImperialCollegeLondon.png https://raw.githubusercontent.com/ImperialCollegeLondon/formalising-mathematics-2024/main/png/clone_forall.png?raw=true https://raw.githubusercontent.com/ImperialCollegeLondon/formalising-mathematics-2024/main/png/file_explorer.png?raw=true https://gitpod.io/button/open-in-gitpod.svg https://github.com/codespaces/badge.svg https://reservoir.lean-lang.org/@ImperialCollegeLondon/IUM https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/LAGinLean https://github.com/ImperialCollegeLondon.png https://gitpod.io/button/open-in-gitpod.svg https://raw.githubusercontent.com/ImperialCollegeLondon/LAGinLean2024/main/png/codespaces.png?raw=true https://raw.githubusercontent.com/ImperialCollegeLondon/LAGinLean2024/main/png/clone_forall.png?raw=true https://raw.githubusercontent.com/ImperialCollegeLondon/LAGinLean2024/main/png/file_explorer.png?raw=true https://reservoir.lean-lang.org/@ImperialCollegeLondon/M1F-explained https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@input-output-hk/Blaster https://github.com/input-output-hk.png https://img.shields.io/badge/Lean-v4.24.0-blue.svg https://img.shields.io/badge/Z3-v4.15.2-green.svg https://img.shields.io/badge/license-Apache%202.0-blue.svg https://img.shields.io/badge/contributions-welcome-brightgreen.svg https://reservoir.lean-lang.org/@int-y1/proofs https://github.com/int-y1.png https://reservoir.lean-lang.org/@intgrah/qdt https://github.com/intgrah.png https://reservoir.lean-lang.org/@ionathanch/MutualInduction https://github.com/ionathanch.png https://reservoir.lean-lang.org/@ISTA-PLV/Coinductive https://github.com/ISTA-PLV.png https://reservoir.lean-lang.org/@Ivan-Sergeyev/Seymour https://github.com/Ivan-Sergeyev.png https://reservoir.lean-lang.org/@ivankobe/FactorizationSystems https://github.com/ivankobe.png https://reservoir.lean-lang.org/@Izzimach/lean-glfw https://github.com/Izzimach.png https://reservoir.lean-lang.org/@Izzimach/pteffects https://github.com/Izzimach.png https://reservoir.lean-lang.org/@jaalonso/Calculemus2 https://github.com/jaalonso.png https://reservoir.lean-lang.org/@jaalonso/Calculemus2_es https://github.com/jaalonso.png https://reservoir.lean-lang.org/@JadAbouHawili/Game https://github.com/JadAbouHawili.png https://reservoir.lean-lang.org/@JadAbouHawili/SmullyanKnightsAndKnaves https://github.com/JadAbouHawili.png https://reservoir.lean-lang.org/@JamesGallicchio/Http https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JamesGallicchio/lean-openapi https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JamesGallicchio/leancolls https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JasonShroyer/sgc https://github.com/JasonShroyer.png https://github.com/JasonShroyer/sgc-lean/actions/workflows/build.yml/badge.svg https://img.shields.io/badge/Lean-4-blue.svg https://img.shields.io/badge/core-verified-brightgreen.svg https://reservoir.lean-lang.org/@jcreedcmu/Noperthedron https://github.com/jcreedcmu.png https://raw.githubusercontent.com/jcreedcmu/Noperthedron/main/home_page/assets/noperthedron.png https://reservoir.lean-lang.org/@jessealama/lint-llm-proofs https://github.com/jessealama.png https://reservoir.lean-lang.org/@jeswr/RustFFI https://github.com/jeswr.png https://zenodo.org/badge/DOI/10.5281/zenodo.12508840.svg https://reservoir.lean-lang.org/@JJYYY-JJY/NormalForms https://github.com/JJYYY-JJY.png https://reservoir.lean-lang.org/@JLimperg/regensburg-itp-school-2023 https://github.com/JLimperg.png https://reservoir.lean-lang.org/@JobPetrovcic/ArtinWedderburn https://github.com/JobPetrovcic.png https://reservoir.lean-lang.org/@joehendrix/lean-crypto https://github.com/joehendrix.png https://reservoir.lean-lang.org/@jonwashburn/Riemann https://github.com/jonwashburn.png https://reservoir.lean-lang.org/@Joonas-vonlerber/Game https://github.com/Joonas-vonlerber.png https://reservoir.lean-lang.org/@josephmckinsey/flean https://github.com/josephmckinsey.png https://raw.githubusercontent.com/josephmckinsey/Flean/main/meme.png https://reservoir.lean-lang.org/@JOSHCLUNE/Hammer https://github.com/JOSHCLUNE.png https://reservoir.lean-lang.org/@jsm28/AM https://github.com/jsm28.png https://reservoir.lean-lang.org/@jsm28/IMO https://github.com/jsm28.png https://reservoir.lean-lang.org/@jtristan/lffi https://github.com/jtristan.png https://reservoir.lean-lang.org/@jtristan/UnicodeSkipListTable https://github.com/jtristan.png https://reservoir.lean-lang.org/@jtristan/UnicodeSkipListTableExample https://github.com/jtristan.png https://reservoir.lean-lang.org/@juhp/curljson https://github.com/juhp.png https://reservoir.lean-lang.org/@Julian/Generatingfunctionology https://github.com/Julian.png https://reservoir.lean-lang.org/@JulsDE/MRiscX https://github.com/JulsDE.png https://reservoir.lean-lang.org/@katydid/regexderiv https://github.com/katydid.png https://github.com/katydid/regex-deriv-lean/workflows/Check%20Proofs/badge.svg https://reservoir.lean-lang.org/@katydid/sadol https://github.com/katydid.png https://reservoir.lean-lang.org/@katzenpost/crypt_walker https://github.com/katzenpost.png https://reservoir.lean-lang.org/@kbuzzard/ClassFieldTheory https://github.com/kbuzzard.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://raw.githubusercontent.com/kbuzzard/ClassFieldTheory/main/png/clone_forall.png?raw=true https://raw.githubusercontent.com/kbuzzard/ClassFieldTheory/main/png/file_explorer.png?raw=true https://gitpod.io/button/open-in-gitpod.svg https://github.com/codespaces/badge.svg https://reservoir.lean-lang.org/@kbuzzard/Game https://github.com/kbuzzard.png https://gitpod.io/button/open-in-gitpod.svg https://raw.githubusercontent.com/kbuzzard/FilterGame/main/png/codespaces.png?raw=true https://raw.githubusercontent.com/kbuzzard/FilterGame/main/png/codelocal.png?raw=true https://reservoir.lean-lang.org/@kckennylau/EllipticCurve https://github.com/kckennylau.png https://reservoir.lean-lang.org/@kebekus/VD https://github.com/kebekus.png https://reservoir.lean-lang.org/@keilambda/eocia-lean https://github.com/keilambda.png https://reservoir.lean-lang.org/@keilambda/ttfpi https://github.com/keilambda.png https://reservoir.lean-lang.org/@kim-em/lean-finmap https://github.com/kim-em.png https://reservoir.lean-lang.org/@kim-em/lean-training-data https://github.com/kim-em.png https://reservoir.lean-lang.org/@KislyjKisel/pod https://github.com/KislyjKisel.png https://reservoir.lean-lang.org/@KislyjKisel/raylib https://github.com/KislyjKisel.png https://raw.githubusercontent.com/KislyjKisel/Raylib.lean/main/screenshots/example_minimal.png https://raw.githubusercontent.com/KislyjKisel/Raylib.lean/main/screenshots/example_gui.png https://raw.githubusercontent.com/KislyjKisel/Raylib.lean/main/screenshots/example_audio.png https://raw.githubusercontent.com/KislyjKisel/Raylib.lean/main/screenshots/example_videomode.png https://reservoir.lean-lang.org/@kkaunda/Project https://github.com/kkaunda.png https://raw.githubusercontent.com/kkaunda/spgf/main/vertopal_bfea56392a264e1da44fa95b98b2549d/media/image1.png https://raw.githubusercontent.com/kkaunda/spgf/main/vertopal_bfea56392a264e1da44fa95b98b2549d/media/image2.jpeg https://raw.githubusercontent.com/kkaunda/spgf/main/vertopal_bfea56392a264e1da44fa95b98b2549d/media/image3.jpeg https://raw.githubusercontent.com/kkaunda/spgf/main/vertopal_bfea56392a264e1da44fa95b98b2549d/media/image4.jpeg https://raw.githubusercontent.com/kkaunda/spgf/main/vertopal_bfea56392a264e1da44fa95b98b2549d/media/image5.jpeg https://raw.githubusercontent.com/kkaunda/spgf/main/vertopal_bfea56392a264e1da44fa95b98b2549d/media/image6.jpeg https://reservoir.lean-lang.org/@kkytola/ExtremeValueProject https://github.com/kkytola.png https://reservoir.lean-lang.org/@kkytola/VirasoroProject https://github.com/kkytola.png https://reservoir.lean-lang.org/@klavins/LeanBook https://github.com/klavins.png https://reservoir.lean-lang.org/@kmill/LeanTeX https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/LeanTeX_Mathlib https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/msri2023_graphs https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/render https://github.com/kmill.png https://github.com/kmill/lean4-raytracer/blob/master/output/test13.png?raw=true https://github.com/kmill/lean4-raytracer/blob/master/output/test13.bigger.png?raw=true https://reservoir.lean-lang.org/@knowsys/certifyingDatalog https://github.com/knowsys.png https://reservoir.lean-lang.org/@knowsys/FormaleSystemeInLean https://github.com/knowsys.png https://reservoir.lean-lang.org/@konne88/functorio https://github.com/konne88.png https://raw.githubusercontent.com/konne88/functorio/main/figures/red-science.png https://raw.githubusercontent.com/konne88/functorio/main/figures/red-science-stats.png https://raw.githubusercontent.com/konne88/functorio/main/figures/quickstart-play.png https://raw.githubusercontent.com/konne88/functorio/main/figures/nauvis150-play.png https://raw.githubusercontent.com/konne88/functorio/main/figures/gear-bus.png https://raw.githubusercontent.com/konne88/functorio/main/figures/split.png https://raw.githubusercontent.com/konne88/functorio/main/figures/merge.png https://raw.githubusercontent.com/konne88/functorio/main/figures/liquid-bus.png https://raw.githubusercontent.com/konne88/functorio/main/figures/factory-type.png https://raw.githubusercontent.com/konne88/functorio/main/figures/two-column.png https://raw.githubusercontent.com/konne88/functorio/main/figures/expand.png https://raw.githubusercontent.com/konne88/functorio/main/figures/adapter.png https://raw.githubusercontent.com/konne88/functorio/main/figures/cap.png https://raw.githubusercontent.com/konne88/functorio/main/figures/gear-station.png https://raw.githubusercontent.com/konne88/functorio/main/figures/gear-assembly-line.png https://raw.githubusercontent.com/konne88/functorio/main/figures/nauvis150.png https://raw.githubusercontent.com/konne88/functorio/main/figures/nauvis150-stats.png https://reservoir.lean-lang.org/@Koukyosyumei/pol https://github.com/Koukyosyumei.png https://reservoir.lean-lang.org/@Koukyosyumei/runwai_project https://github.com/Koukyosyumei.png https://img.shields.io/github/actions/workflow/status/Koukyosyumei/Runwai/lean_action_ci.yaml https://img.shields.io/github/license/Koukyosyumei/Runwai https://img.shields.io/github/contributors/Koukyosyumei/Runwai https://img.shields.io/badge/Whitepaper-PDF-blue https://raw.githubusercontent.com/Koukyosyumei/Runwai/main/img/logo-runway-drawio.svg https://reservoir.lean-lang.org/@kovach/etch https://github.com/kovach.png https://reservoir.lean-lang.org/@lambda-fairy/taleve https://github.com/lambda-fairy.png https://reservoir.lean-lang.org/@lambdaclass/amo-lean https://github.com/lambdaclass.png https://img.shields.io/badge/Lean-4.26.0-blue.svg https://img.shields.io/badge/License-MIT-yellow.svg https://img.shields.io/badge/Tests-2850%2B-green.svg https://img.shields.io/badge/Build-3140%20modules-brightgreen.svg https://img.shields.io/badge/FRI-189%20theorems%2C%200%20sorry-blue.svg https://img.shields.io/badge/Extraction-complete%20(0%20sorry)-blue.svg https://reservoir.lean-lang.org/@lambdaclass/optisat https://github.com/lambdaclass.png https://reservoir.lean-lang.org/@lean-dojo/LeanCopilot https://github.com/lean-dojo.png https://github.com/lean-dojo/LeanCopilot/assets/114432581/2817663c-ba98-4a47-9ae9-5b8680b6265a https://reservoir.lean-lang.org/@lean-dojo/problems https://github.com/lean-dojo.png https://raw.githubusercontent.com/lean-dojo/LeanMillenniumPrizeProblems/main/millennium_problems.png https://reservoir.lean-lang.org/@lean-ja/Lean by Example https://github.com/lean-ja.png https://raw.githubusercontent.com/lean-ja/lean-by-example/main/booksrc/image/project_image.png https://github.com/lean-ja/lean-by-example/actions/workflows/ci.yml/badge.svg https://github.com/lean-ja/lean-by-example/actions/workflows/deploy.yml/badge.svg https://github.com/lean-ja/lean-by-example/actions/workflows/update.yml/badge.svg https://github.com/lean-ja/lean-by-example/actions/workflows/devcontainer.yml/badge.svg https://dcbadge.limes.pink/api/server/p32ZfnVawh?style=flat https://raw.githubusercontent.com/lean-ja/lean-by-example/main/booksrc/image/proxima.inkscape.svg https://reservoir.lean-lang.org/@lean-ja/Lean%20by%20Example https://reservoir.lean-lang.org/@lean-ja/lean99 https://github.com/lean-ja.png https://reservoir.lean-lang.org/@lean-ja/verso-manual https://github.com/lean-ja.png https://reservoir.lean-lang.org/@lean-machines-central/lean-machines https://github.com/lean-machines-central.png https://reservoir.lean-lang.org/@lean-machines-central/lean-machines-examples https://github.com/lean-machines-central.png https://reservoir.lean-lang.org/@lean-phys-community/Notes https://github.com/lean-phys-community.png https://reservoir.lean-lang.org/@leanprover-community/aesop https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/auto https://github.com/leanprover-community.png https://raw.githubusercontent.com/leanprover-community/lean-auto/main/Doc/pics/Logo.bmp https://raw.githubusercontent.com/leanprover-community/lean-auto/main/Doc/pics/shortfive.png https://reservoir.lean-lang.org/@leanprover-community/batteries https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/ConNF https://github.com/leanprover-community.png https://raw.githubusercontent.com/leanprover-community/con-nf/main/docs/social/ConNF%20social.png https://github.com/leanprover-community/con-nf/actions/workflows/push_main.yml/badge.svg https://leanprover-community.github.io/con-nf/depgraph.png https://reservoir.lean-lang.org/@leanprover-community/Duper https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/flt-regular https://github.com/leanprover-community.png https://img.shields.io/badge/Gitpod-ready--to--code-908a85?logo=gitpod https://reservoir.lean-lang.org/@leanprover-community/Game https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/importGraph https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/iris https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/lean4-metaprogramming-book https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/LeanSearchClient https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/llm https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mathlib https://github.com/leanprover-community.png https://github.com/leanprover-community/mathlib4/actions/workflows/build.yml/badge.svg?branch=master https://raw.githubusercontent.com/bors-ng/bors-ng.github.io/refs/heads/master/images/badge_small.svg https://img.shields.io/badge/zulip-join_chat-brightgreen.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@leanprover-community/mathport https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mil https://github.com/leanprover-community.png https://github.com/codespaces/badge.svg https://reservoir.lean-lang.org/@leanprover-community/PhysLean https://github.com/leanprover-community.png https://raw.githubusercontent.com/leanprover-community/physlib/master/docs/PhysLib-logo.jpeg https://img.shields.io/badge/Getting-Started-darkgreen https://img.shields.io/badge/The-Website-darkgreen https://img.shields.io/badge/How_To-Get_Involved-darkgreen https://img.shields.io/badge/PhysLean_Zulip-Discussion-darkgreen https://img.shields.io/badge/TODO-List-darkgreen https://img.shields.io/badge/PhysLean-Search-purple https://img.shields.io/badge/PhysLean-Online-purple https://img.shields.io/badge/View_The-Stats-blue https://img.shields.io/badge/Lean-v4.28.0-blue https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://deepwiki.com/badge.svg https://img.shields.io/badge/doc-API_docs-blue https://reservoir.lean-lang.org/@leanprover-community/plausible https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Project https://github.com/leanprover-community.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://img.shields.io/badge/Zulip-Topic-%237E57C2.svg?logo=zulip&logoColor=white https://img.shields.io/badge/YouTube-Tutorial-%23FF0000.svg?logo=youtube&logoColor=white https://reservoir.lean-lang.org/@leanprover-community/proofwidgets https://github.com/leanprover-community.png https://raw.githubusercontent.com/microsoft/vscode-codicons/31b33da05aab662f1973ba5667dad672c8e20fbc/src/icons/pin.svg https://raw.githubusercontent.com/leanprover-community/ProofWidgets4/main/doc/infoview-rbtree.png https://reservoir.lean-lang.org/@leanprover-community/Qq https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/SphereEversion https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/tutorials4 https://github.com/leanprover-community.png https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://reservoir.lean-lang.org/@leanprover-cookbook/Cookbook https://github.com/leanprover-cookbook.png https://reservoir.lean-lang.org/@leanprover/Cli https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/cslib https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/doc-gen4 https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/KLR https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/lean4checker https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/lean4export https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/leanbv https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/leanInk https://github.com/leanprover.png https://user-images.githubusercontent.com/24965150/145307859-30350f23-4f7f-4aab-a1ab-34889ad44d9a.png https://github.com/leanprover/LeanInk/actions/workflows/build.yml/badge.svg https://img.shields.io/static/v1?label=L%C6%8E%E2%B1%AFN&message=4&color=black https://reservoir.lean-lang.org/@leanprover/LeanSAT https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/leansqlite https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/LeroyCompilerVerificationCourse https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/lnsym https://github.com/leanprover.png https://github.com/leanprover/LNSym/actions/workflows/makefile.yml/badge.svg https://reservoir.lean-lang.org/@leanprover/pantograph https://github.com/leanprover.png https://raw.githubusercontent.com/leanprover/Pantograph/dev/doc/icon.svg https://reservoir.lean-lang.org/@leanprover/sampcert https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/SHerLOC https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/subverso https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/TenCert https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/TensorLib https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/verso https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/verso-manual https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/versowebcomponents https://github.com/leanprover.png https://reservoir.lean-lang.org/@LeastAuthority/STIR https://github.com/LeastAuthority.png https://reservoir.lean-lang.org/@lecopivo/lean4-karray https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lecopivo/leanblas https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lecopivo/scilean https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lenianiva/Prismriver https://github.com/lenianiva.png https://reservoir.lean-lang.org/@lf-lang/reactor-model https://github.com/lf-lang.png https://reservoir.lean-lang.org/@LieLean/Lie https://github.com/LieLean.png https://reservoir.lean-lang.org/@lindy-labs/aegis https://github.com/lindy-labs.png https://raw.githubusercontent.com/lindy-labs/aegis/main/images/logo_dark.png#gh-light-mode-only https://raw.githubusercontent.com/lindy-labs/aegis/main/images/logo_white.png#gh-dark-mode-only https://reservoir.lean-lang.org/@lindy-labs/corelib_verification https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@lindy-labs/WadrayVerification https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@Linyxus/capless https://github.com/Linyxus.png https://reservoir.lean-lang.org/@loganrjmurphy/lib https://github.com/loganrjmurphy.png https://github.com/loganrjmurphy/LeanEuclid/blob/master/images/LeanEuclid.jpg https://img.shields.io/github/license/loganrjmurphy/LeanEuclid https://github.com/loganrjmurphy/LeanEuclid/blob/master/images/Elements_prop1.png https://github.com/loganrjmurphy/LeanEuclid/blob/master/images/UniGeo_congruent_1.png https://reservoir.lean-lang.org/@logical-intelligence/Putnam https://github.com/logical-intelligence.png https://reservoir.lean-lang.org/@lua-vr/BirkhoffErgodicThm https://github.com/lua-vr.png https://reservoir.lean-lang.org/@Luka-O/polya-enumeration-theorem https://github.com/Luka-O.png https://reservoir.lean-lang.org/@m4lvin/Gossip https://github.com/m4lvin.png https://reservoir.lean-lang.org/@m4lvin/pdl https://github.com/m4lvin.png https://github.com/m4lvin/lean4-pdl/actions/workflows/build.yml/badge.svg https://m4lvin.github.io/lean4-pdl/docs/dependencies.svg https://reservoir.lean-lang.org/@madvorak/chomsky https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/duality https://github.com/madvorak.png https://raw.githubusercontent.com/madvorak/duality/main/nonLean/AI-generated.jpg https://reservoir.lean-lang.org/@madvorak/fecssk https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/Koch https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/readLean https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/thue https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/vcsp https://github.com/madvorak.png https://reservoir.lean-lang.org/@Maokami/vqc_in_lean https://github.com/Maokami.png https://reservoir.lean-lang.org/@marcellop71/redisLean https://github.com/marcellop71.png https://reservoir.lean-lang.org/@marcusrossel/egg https://github.com/marcusrossel.png https://raw.githubusercontent.com/marcusrossel/lean-egg/main/Docs/icon.png https://reservoir.lean-lang.org/@marcusrossel/lean_snakebird https://github.com/marcusrossel.png https://reservoir.lean-lang.org/@marcusrossel/VerifiedCompiler https://github.com/marcusrossel.png https://reservoir.lean-lang.org/@mariovagomarzal/HigherCategoryTheory https://github.com/mariovagomarzal.png https://reservoir.lean-lang.org/@matematiflo/leanproject https://github.com/matematiflo.png https://reservoir.lean-lang.org/@matematiflo/SumSq https://github.com/matematiflo.png https://raw.githubusercontent.com/matematiflo/SumsOfSquares/main/img/Code_small.png https://github.com/codespaces/badge.svg https://reservoir.lean-lang.org/@math-inc/FormalQualBench https://github.com/math-inc.png https://reservoir.lean-lang.org/@math-xmum/Game https://github.com/math-xmum.png https://reservoir.lean-lang.org/@math-xmum/GameTheory https://github.com/math-xmum.png https://reservoir.lean-lang.org/@mdbrnowski/Apportionmentlib https://github.com/mdbrnowski.png https://github.com/mdbrnowski/apportionmentlib/actions/workflows/lean_action_ci.yml/badge.svg https://reservoir.lean-lang.org/@metamatematico/metamath_prover https://github.com/metamatematico.png https://img.shields.io/badge/Lean-4-blue.svg https://img.shields.io/badge/Python-3.10+-yellow.svg https://img.shields.io/badge/Tests-379_passing-brightgreen.svg https://img.shields.io/badge/Skills-76-blueviolet.svg https://img.shields.io/badge/GNN%2BPPO-546K_params-red.svg https://img.shields.io/badge/App-Streamlit-ff4b4b.svg https://img.shields.io/badge/License-MIT-green.svg https://reservoir.lean-lang.org/@mhuisi/Uniq https://github.com/mhuisi.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/EulerProducts https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/Heights https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/Weights https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@mirefek/tactic-programming-beginner-guide https://github.com/mirefek.png https://reservoir.lean-lang.org/@misaka10987/archimedes https://github.com/misaka10987.png https://img.shields.io/github/languages/code-size/misaka10987/archimedes https://img.shields.io/github/license/misaka10987/archimedes https://img.shields.io/github/actions/workflow/status/misaka10987/archimedes/lean_action_ci.yml https://img.shields.io/github/commit-activity/m/misaka10987/archimedes https://reservoir.lean-lang.org/@mitchell-horner/ErdosStoneSimonovitsKovariSosTuran https://github.com/mitchell-horner.png https://github.com/mitchell-horner/ErdosStoneSimonovitsKovariSosTuran/actions/workflows/lean_action_ci.yml/badge.svg https://reservoir.lean-lang.org/@mkaratarakis/HopfieldNet https://github.com/mkaratarakis.png https://reservoir.lean-lang.org/@mo271/FormalBook https://github.com/mo271.png https://raw.githubusercontent.com/mo271/FormalBook/main/formal_proofs_form_the_book.svg https://reservoir.lean-lang.org/@model-checking/rust-lean-models https://github.com/model-checking.png https://reservoir.lean-lang.org/@MohanadAhmed/LeanMathSigProc https://github.com/MohanadAhmed.png https://reservoir.lean-lang.org/@monsterkrampe/ExistentialRules https://github.com/monsterkrampe.png https://reservoir.lean-lang.org/@morganfshirley/CommComp https://github.com/morganfshirley.png https://github.com/morganfshirley/CommComp/actions/workflows/push.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@mortarsanjaya/IMOSLLean4 https://github.com/mortarsanjaya.png https://reservoir.lean-lang.org/@mrdouglasny/OSforGFF https://github.com/mrdouglasny.png https://reservoir.lean-lang.org/@mseri/BET https://github.com/mseri.png https://github.com/mseri/BET/actions/workflows/build.yml/badge.svg https://reservoir.lean-lang.org/@mtoohey31/tabular-types https://github.com/mtoohey31.png https://reservoir.lean-lang.org/@nasqret/fineqs https://github.com/nasqret.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://img.shields.io/badge/Blueprint-Paper-red.svg?logo=github&logoColor=white https://img.shields.io/badge/Blueprint-Website-blue.svg?logo=github&logoColor=white https://img.shields.io/badge/Docs-Website-blue.svg?logo=readthedocs&logoColor=white https://reservoir.lean-lang.org/@NethermindEth/CompPoly https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/evmyul https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/ff https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/FVIntmax https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/plonky3-example https://github.com/NethermindEth.png https://cdn.prod.website-files.com/63bcd69729ab7f3ec1ad210a/64bf04d14176fe2fb1aff258_Nethermind_Light_Horizontal%201.webp https://reservoir.lean-lang.org/@NethermindEth/risczero-fv https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@niklasmohrin/LeanSeminar https://github.com/niklasmohrin.png https://reservoir.lean-lang.org/@nimarasekh/Formalization_SoSe25 https://github.com/nimarasekh.png https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@nomeata/calcify https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/loogle https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/memo-nat https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/wfinduct https://github.com/nomeata.png https://reservoir.lean-lang.org/@NUS-Math-Formalization/Game https://github.com/NUS-Math-Formalization.png https://reservoir.lean-lang.org/@NyxFoundation/TopSingleLayer https://github.com/NyxFoundation.png https://raw.githubusercontent.com/NyxFoundation/tsl-formal-verification/main/graph.png https://reservoir.lean-lang.org/@objectionary/phi-calculus https://github.com/objectionary.png https://reservoir.lean-lang.org/@ocfnash/lie-classification https://github.com/ocfnash.png https://reservoir.lean-lang.org/@oliver-butterley/SpectralThm https://github.com/oliver-butterley.png https://reservoir.lean-lang.org/@oOo0oOo/LeanDoomed https://github.com/oOo0oOo.png https://raw.githubusercontent.com/oOo0oOo/LeanDoomed/main/screenshots/screenshot1.png https://reservoir.lean-lang.org/@oOo0oOo/LeanRPC https://github.com/oOo0oOo.png https://img.shields.io/badge/Lean-v4.25.0-blue https://img.shields.io/github/last-commit/oOo0oOo/LeanRPC https://img.shields.io/github/license/oOo0oOo/LeanRPC.svg https://reservoir.lean-lang.org/@oOo0oOo/LeanSage https://github.com/oOo0oOo.png https://img.shields.io/badge/Lean-v4.25.0-blue https://img.shields.io/github/last-commit/oOo0oOo/LeanSage https://img.shields.io/github/license/oOo0oOo/LeanSage.svg https://reservoir.lean-lang.org/@oOo0oOo/LeanSerde https://github.com/oOo0oOo.png https://img.shields.io/badge/Lean-v4.25.0-blue https://img.shields.io/github/last-commit/oOo0oOo/LeanSerde https://img.shields.io/github/license/oOo0oOo/LeanSerde.svg https://reservoir.lean-lang.org/@opencompl/fp-lean https://github.com/opencompl.png https://github.com/opencompl/fp.lean/actions/workflows/ci.yml/badge.svg https://github.com/opencompl/fp.lean/actions/workflows/golden.yml/badge.svg https://reservoir.lean-lang.org/@opencompl/SSA https://github.com/opencompl.png https://raw.githubusercontent.com/opencompl/lean-mlir/main/images/logo.png https://reservoir.lean-lang.org/@optimisticexquisite/lean-rsa-project https://github.com/optimisticexquisite.png https://reservoir.lean-lang.org/@optsuite/optlib https://github.com/optsuite.png https://reservoir.lean-lang.org/@or4nge19/MCMC https://github.com/or4nge19.png https://reservoir.lean-lang.org/@or4nge19/NeuralNetworks https://github.com/or4nge19.png https://reservoir.lean-lang.org/@Oscario0/LeanBisection https://github.com/Oscario0.png https://reservoir.lean-lang.org/@pandaman64/lean-regex https://github.com/pandaman64.png https://reservoir.lean-lang.org/@pannous/Hyper https://github.com/pannous.png https://reservoir.lean-lang.org/@Paper-Proof/paperproof https://github.com/Paper-Proof.png https://reservoir.lean-lang.org/@parabamoghv/Symm https://github.com/parabamoghv.png https://reservoir.lean-lang.org/@PatrickMassot/checkdecls https://github.com/PatrickMassot.png https://reservoir.lean-lang.org/@PatrickMassot/glimpseOfLean https://github.com/PatrickMassot.png https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@PatrickMassot/verbose https://github.com/PatrickMassot.png https://raw.githubusercontent.com/PatrickMassot/verbose-lean4/master/verbose_widget_test_en.gif https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@Paul-Lez/PersistentDecomp https://github.com/Paul-Lez.png https://reservoir.lean-lang.org/@paulcadman/lean-effects https://github.com/paulcadman.png https://reservoir.lean-lang.org/@paulch42/leanSpec https://github.com/paulch42.png https://reservoir.lean-lang.org/@pawelsberg/LeanDirectoryBrowser https://github.com/pawelsberg.png https://reservoir.lean-lang.org/@peabrainiac/CatDG https://github.com/peabrainiac.png https://reservoir.lean-lang.org/@PeterKementzey/Graph https://github.com/PeterKementzey.png https://reservoir.lean-lang.org/@Philogy/remco-mul https://github.com/Philogy.png https://reservoir.lean-lang.org/@physicslib/Physicslib https://github.com/physicslib.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://img.shields.io/badge/Zulip-Topic-%237E57C2.svg?logo=zulip&logoColor=white https://img.shields.io/badge/YouTube-Tutorial-%23FF0000.svg?logo=youtube&logoColor=white https://reservoir.lean-lang.org/@PierreSenellart/provenance https://github.com/PierreSenellart.png https://github.com/PierreSenellart/provenance-lean/actions/workflows/lean.yml/badge.svg https://reservoir.lean-lang.org/@pitmonticone/CHANGE https://github.com/pitmonticone.png https://raw.githubusercontent.com/pitmonticone/LeanCHANGE/main/images/logo.png https://raw.githubusercontent.com/pitmonticone/LeanCHANGE/main/images/code-ext.png https://raw.githubusercontent.com/pitmonticone/LeanCHANGE/main/images/show-setup-guide.png https://raw.githubusercontent.com/pitmonticone/LeanCHANGE/main/images/setup_guide.png https://raw.githubusercontent.com/pitmonticone/LeanCHANGE/main/images/institutions.png https://reservoir.lean-lang.org/@pitmonticone/Hochster https://github.com/pitmonticone.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://img.youtube.com/vi/KyuyTsLgkMY/maxresdefault.jpg https://reservoir.lean-lang.org/@pitmonticone/ItaLean https://github.com/pitmonticone.png https://raw.githubusercontent.com/pitmonticone/ItaLean2025/main/images/ItaLean2025_banner.png https://raw.githubusercontent.com/pitmonticone/ItaLean2025/main/images/Harmonic_readme.png https://raw.githubusercontent.com/pitmonticone/ItaLean2025/main/images/GResearch_readme.png https://raw.githubusercontent.com/pitmonticone/ItaLean2025/main/images/UniBo_DipMath_readme.png https://reservoir.lean-lang.org/@pitmonticone/LeanInVienna https://github.com/pitmonticone.png https://www.dmg.tuwien.ac.at/lean2024/TUW_imoox_kleiner.jpg https://raw.githubusercontent.com/pitmonticone/LeanInVienna2024/main/images/code-ext.png https://raw.githubusercontent.com/pitmonticone/LeanInVienna2024/main/images/show-setup-guide.png https://raw.githubusercontent.com/pitmonticone/LeanInVienna2024/main/images/setup_guide.png https://reservoir.lean-lang.org/@pitmonticone/NewProject https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@PnVDiscord/software-foundations-lean https://github.com/PnVDiscord.png https://reservoir.lean-lang.org/@pnwamk/lean4-assert-command https://github.com/pnwamk.png https://github.com/pnwamk/lean4-assert-command/blob/docs/ex_assert.png?raw=true https://github.com/pnwamk/lean4-assert-command/blob/docs/ex_assert_via.png?raw=true https://github.com/pnwamk/lean4-assert-command/blob/docs/ex_failed_assert.png?raw=true https://reservoir.lean-lang.org/@powdr-labs/leanr https://github.com/powdr-labs.png https://reservoir.lean-lang.org/@project-numina/lib https://github.com/project-numina.png https://img.shields.io/badge/%F0%9F%A4%97-huggingface-FFD21E https://reservoir.lean-lang.org/@proofs-and-programs/PfsProgs25 https://github.com/proofs-and-programs.png https://reservoir.lean-lang.org/@provables/sequencelib https://github.com/provables.png https://mirrors.creativecommons.org/presskit/icons/cc.svg https://mirrors.creativecommons.org/presskit/icons/by.svg https://mirrors.creativecommons.org/presskit/icons/sa.svg https://reservoir.lean-lang.org/@provables/special-numbers https://github.com/provables.png https://reservoir.lean-lang.org/@quangvdao/Zklib https://github.com/quangvdao.png https://reservoir.lean-lang.org/@rah4927/lean-dojo-mew https://github.com/rah4927.png https://reservoir.lean-lang.org/@rahul3613/miniF2F-lean4 https://github.com/rahul3613.png https://reservoir.lean-lang.org/@rahul3613/proofNet-lean4 https://github.com/rahul3613.png https://reservoir.lean-lang.org/@rami3l/plfl https://github.com/rami3l.png https://reservoir.lean-lang.org/@reilabs/proven-zk https://github.com/reilabs.png https://reservoir.lean-lang.org/@remimimimimi/leansec https://github.com/remimimimimi.png https://reservoir.lean-lang.org/@RemyDegenne/BrownianMotion https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/clt https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/kolmogorov_extension4 https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/LeanBandits https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/testing_lower_bounds https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@riccardobrasca/FLT3 https://github.com/riccardobrasca.png https://github.com/codespaces/badge.svg https://reservoir.lean-lang.org/@riccardobrasca/Kaplansky4 https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/lFTCM2024 https://github.com/riccardobrasca.png https://raw.githubusercontent.com/riccardobrasca/LFTCM2024/master/img/1.png https://raw.githubusercontent.com/riccardobrasca/LFTCM2024/master/img/2.png https://raw.githubusercontent.com/riccardobrasca/LFTCM2024/master/img/3.png https://raw.githubusercontent.com/riccardobrasca/LFTCM2024/master/img/4.png https://raw.githubusercontent.com/riccardobrasca/LFTCM2024/master/img/5.png https://github.com/codespaces/badge.svg https://raw.githubusercontent.com/riccardobrasca/LFTCM2024/master/img/6.png https://reservoir.lean-lang.org/@riccardobrasca/math2001 https://github.com/riccardobrasca.png https://github.com/codespaces/badge.svg https://raw.githubusercontent.com/riccardobrasca/demontrer2025/main/img/1.png https://raw.githubusercontent.com/riccardobrasca/demontrer2025/main/img/2.png https://raw.githubusercontent.com/riccardobrasca/demontrer2025/main/img/3.png https://reservoir.lean-lang.org/@riccardobrasca/Numbers https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/SDG https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@Rickerd1234/RelationalAlgebra https://github.com/Rickerd1234.png https://reservoir.lean-lang.org/@RikHeurter/BscThesisFormalisation https://github.com/RikHeurter.png https://img.shields.io/badge/Website-ready-green https://img.shields.io/badge/Documentation-passing-green https://img.shields.io/badge/Blueprint-WIP-blue https://img.shields.io/badge/Paper-WIP-blue https://reservoir.lean-lang.org/@risc0/risc0-lean4 https://github.com/risc0.png https://reservoir.lean-lang.org/@rkirov/category-theory-in-context-lean https://github.com/rkirov.png https://reservoir.lean-lang.org/@roos-j/BooleanFun https://github.com/roos-j.png https://reservoir.lean-lang.org/@runbikeswim/lean-semver https://github.com/runbikeswim.png https://reservoir.lean-lang.org/@rupakm/leslie https://github.com/rupakm.png https://reservoir.lean-lang.org/@rzrn/GroundZero https://github.com/rzrn.png https://raw.githubusercontent.com/rzrn/ground_zero/master/pictures/dependency-map.svg https://reservoir.lean-lang.org/@SamuelSchlesinger/sensitivity https://github.com/SamuelSchlesinger.png https://reservoir.lean-lang.org/@SamuelSchlesinger/shannon-entropy https://github.com/SamuelSchlesinger.png https://img.shields.io/badge/Lean-4.28.0-0f766e https://img.shields.io/badge/License-MIT-2563eb https://reservoir.lean-lang.org/@schergen-org/leansi https://github.com/schergen-org.png https://img.shields.io/badge/wiki-GitHub-blue.svg https://img.shields.io/badge/License-GPLv3-blue.svg https://img.shields.io/badge/version-1.2.0-blue https://github.com/schergen-org/Leansi/actions/workflows/lean_action_ci.yml/badge.svg https://reservoir.lean-lang.org/@SchrodingerZhu/hashbrown4lean https://github.com/SchrodingerZhu.png https://reservoir.lean-lang.org/@SchrodingerZhu/lean-gccjit https://github.com/SchrodingerZhu.png https://reservoir.lean-lang.org/@sciencraft/LeanCat https://github.com/sciencraft.png https://img.shields.io/badge/arXiv-2512.24796-b31b1b.svg https://reservoir.lean-lang.org/@sdiehl/ZeroToQED https://github.com/sdiehl.png https://raw.githubusercontent.com/sdiehl/zero-to-qed/main/.github/beaver.png https://github.com/sdiehl/zero-to-qed/actions/workflows/ci.yml/badge.svg https://reservoir.lean-lang.org/@Seasawher/import-all https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/Lean Book https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/Lean%20Book https://reservoir.lean-lang.org/@Seasawher/mathlib4-help https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mdgen https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mk-exercise https://github.com/Seasawher.png https://reservoir.lean-lang.org/@ShangtongZhang/RL-Theory https://github.com/ShangtongZhang.png https://reservoir.lean-lang.org/@Shreyas4991/DGAlgorithms https://github.com/Shreyas4991.png https://reservoir.lean-lang.org/@shunghsiyu/toy-verifier https://github.com/shunghsiyu.png https://reservoir.lean-lang.org/@siddhartha-gadgil/lean-loris https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/leanaide https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanAideTools https://github.com/siddhartha-gadgil.png https://github.com/siddhartha-gadgil/LeanAideTools/blob/v4.7.0/assets/lat1.gif https://github.com/siddhartha-gadgil/LeanAideTools/blob/v4.7.0/assets/lat2.gif https://github.com/siddhartha-gadgil/LeanAideTools/blob/v4.7.0/assets/lat3.gif https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanLangur https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanLion https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/MetaExamples https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/pnP2023 https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/Polylean https://github.com/siddhartha-gadgil.png https://raw.githubusercontent.com/siddhartha-gadgil/Polylean/main/UnitConjecture/depgraph.dot.svg https://reservoir.lean-lang.org/@siddhartha-gadgil/saturn https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@sinhp/hottlean https://github.com/sinhp.png https://reservoir.lean-lang.org/@sinhp/leanFibredCategories https://github.com/sinhp.png https://reservoir.lean-lang.org/@smmercuri/adele-ring_locally-compact https://github.com/smmercuri.png https://reservoir.lean-lang.org/@somombo/quicksort https://github.com/somombo.png https://reservoir.lean-lang.org/@somombo/swaps-perm https://github.com/somombo.png https://reservoir.lean-lang.org/@sorrachai/FAA2025 https://github.com/sorrachai.png https://reservoir.lean-lang.org/@SrGaabriel/lapis https://github.com/SrGaabriel.png https://reservoir.lean-lang.org/@SrGaabriel/soma-workspace https://github.com/SrGaabriel.png https://img.shields.io/github/checks-status/SrGaabriel/soma/main?style=for-the-badge https://img.shields.io/github/stars/SrGaabriel/soma?style=for-the-badge https://img.shields.io/github/license/SrGaabriel/soma?style=for-the-badge https://reservoir.lean-lang.org/@starkware-libs/verification https://github.com/starkware-libs.png https://reservoir.lean-lang.org/@strata-org/Strata https://github.com/strata-org.png https://raw.githubusercontent.com/strata-org/Strata/main/strata_logo.png https://reservoir.lean-lang.org/@sunblaze-ucb/verina https://github.com/sunblaze-ucb.png https://reservoir.lean-lang.org/@suomela/Distributed2Coloring https://github.com/suomela.png https://reservoir.lean-lang.org/@sven-manthe/borel_det https://github.com/sven-manthe.png https://reservoir.lean-lang.org/@sysghent/riddle-proofs https://github.com/sysghent.png https://reservoir.lean-lang.org/@T-Brick/controlflow https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/DateTime https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/lean2wasm https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/numbers https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/wasm https://github.com/T-Brick.png https://reservoir.lean-lang.org/@tani/LiterateLean https://github.com/tani.png https://reservoir.lean-lang.org/@tdzl2003/geometry https://github.com/tdzl2003.png https://reservoir.lean-lang.org/@teorth/analysis https://github.com/teorth.png https://reservoir.lean-lang.org/@teorth/equational_theories https://github.com/teorth.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://img.shields.io/badge/Code%20Style-Black-000000.svg https://img.shields.io/badge/Website-Ready-green https://img.shields.io/badge/Documentation-Passing-green https://img.shields.io/badge/Blueprint-WIP-blue https://teorth.github.io/equational_theories/dashboard/progress_badge.svg https://img.shields.io/badge/Paper-WIP-blue https://img.shields.io/badge/Zulip_Channel-Join-blue https://github.com/teorth/equational_theories/blob/main/images/subgraph.png?raw=true https://reservoir.lean-lang.org/@teorth/expdb https://github.com/teorth.png https://img.shields.io/badge/License-Apache_2.0-lightblue.svg https://img.shields.io/badge/Code%20Style-Black-000000.svg https://reservoir.lean-lang.org/@teorth/PFR https://github.com/teorth.png https://github.com/teorth/pfr/actions/workflows/push.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://reservoir.lean-lang.org/@thefundamentaltheor3m/SpherePacking https://github.com/thefundamentaltheor3m.png https://reservoir.lean-lang.org/@themathqueen/Monlib https://github.com/themathqueen.png https://reservoir.lean-lang.org/@Timeroot/computableReal https://github.com/Timeroot.png https://reservoir.lean-lang.org/@Timeroot/quantumInfo https://github.com/Timeroot.png https://reservoir.lean-lang.org/@todbeibrot/mrdi https://github.com/todbeibrot.png https://reservoir.lean-lang.org/@Trequetrum/Game https://github.com/Trequetrum.png https://reservoir.lean-lang.org/@TristanCacqueray/advent-of-lean https://github.com/TristanCacqueray.png https://reservoir.lean-lang.org/@TristanCacqueray/gen-zmk https://github.com/TristanCacqueray.png https://raw.githubusercontent.com/TristanCacqueray/zmk-config/main/moonwalker.svg https://reservoir.lean-lang.org/@tsurumi-yizhou/SPG https://github.com/tsurumi-yizhou.png https://reservoir.lean-lang.org/@tydeu/alloy https://github.com/tydeu.png https://reservoir.lean-lang.org/@tydeu/itertools https://github.com/tydeu.png https://reservoir.lean-lang.org/@tydeu/partax https://github.com/tydeu.png https://reservoir.lean-lang.org/@ufmg-smite/smt https://github.com/ufmg-smite.png https://reservoir.lean-lang.org/@ulfjack/ryu https://github.com/ulfjack.png https://travis-ci.org/ulfjack/ryu.svg?branch=master https://reservoir.lean-lang.org/@urkud/SardMoreira https://github.com/urkud.png https://reservoir.lean-lang.org/@utensil/GinacLean https://github.com/utensil.png https://github.com/utensil/ginac-lean/actions/workflows/ci.yml/badge.svg https://img.shields.io/badge/On-Reservoir-657584?style=flat https://reservoir.lean-lang.org/@utensil/LeanBlueprintExample https://github.com/utensil.png https://reservoir.lean-lang.org/@ValorZard/lean-sdl-test https://github.com/ValorZard.png https://raw.githubusercontent.com/ValorZard/lean-sdl-test/master/screenshot.png https://reservoir.lean-lang.org/@ValorZard/SDL3 https://github.com/ValorZard.png https://reservoir.lean-lang.org/@varosi/bitmap https://github.com/varosi.png https://reservoir.lean-lang.org/@vasnesterov/HadwigerNelson https://github.com/vasnesterov.png https://reservoir.lean-lang.org/@vbeffara/rMT4 https://github.com/vbeffara.png https://reservoir.lean-lang.org/@VCA-EPFL/graphiti https://github.com/VCA-EPFL.png https://raw.githubusercontent.com/img/graphiti-logo.svg https://reservoir.lean-lang.org/@VCA-EPFL/leanses https://github.com/VCA-EPFL.png https://reservoir.lean-lang.org/@verified-optimization/CvxLean https://github.com/verified-optimization.png https://raw.githubusercontent.com/verified-optimization/CvxLean/main/CvxLean/Demos/README.gif https://reservoir.lean-lang.org/@Verified-zkEVM/Arklib https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/Clean https://github.com/Verified-zkEVM.png https://raw.githubusercontent.com/Verified-zkEVM/clean/main/images/logo-w-subtitle-rect.png https://img.shields.io/badge/@clean__zk-2CA5E0.svg?style=flat-square&logo=telegram&label=Telegram https://deepwiki.com/badge.svg https://reservoir.lean-lang.org/@Verified-zkEVM/CompPoly https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/VCVio https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verilean/sparkle https://github.com/Verilean.png https://github.com/Verilean/sparkle/actions/workflows/build.yml/badge.svg https://img.shields.io/badge/License-Apache%202.0-blue.svg https://reservoir.lean-lang.org/@verse-lab/Loom https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/ssreflect https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/veil https://github.com/verse-lab.png https://github.com/verse-lab/veil/actions/workflows/ci.yml/badge.svg https://img.shields.io/badge/License-Apache%202.0-blue.svg https://reservoir.lean-lang.org/@verse-lab/Velvet https://github.com/verse-lab.png https://reservoir.lean-lang.org/@vihdzp/CombinatorialGames https://github.com/vihdzp.png https://reservoir.lean-lang.org/@vihdzp/Rubik https://github.com/vihdzp.png https://reservoir.lean-lang.org/@vikraman/event-structures https://github.com/vikraman.png https://img.shields.io/badge/website-red?logo=jekyll&style=for-the-badge https://img.shields.io/badge/documentation-green?logo=readme&style=for-the-badge https://img.shields.io/badge/blueprint-blue?logo=latex&style=for-the-badge https://github.com/vikraman/event-structures/actions/workflows/lean_action_ci.yml/badge.svg https://github.com/vikraman/event-structures/actions/workflows/update.yml/badge.svg https://img.shields.io/badge/Dependabot-enabled-brightgreen?logo=dependabot https://reservoir.lean-lang.org/@vltanh/lean4-analysis-tao https://github.com/vltanh.png https://reservoir.lean-lang.org/@VTrelat/ZFLean https://github.com/VTrelat.png https://reservoir.lean-lang.org/@weiran-sun/PDE https://github.com/weiran-sun.png https://reservoir.lean-lang.org/@wellecks/llmstep https://github.com/wellecks.png https://raw.githubusercontent.com/wellecks/llmstep/master/llmstep.gif https://raw.githubusercontent.com/wellecks/llmstep/master/docs/llmstep.png https://colab.research.google.com/assets/colab-badge.svg https://raw.githubusercontent.com/wellecks/llmstep/master/docs/vscode_env1.png https://raw.githubusercontent.com/wellecks/llmstep/master/docs/vscode_env2.png https://reservoir.lean-lang.org/@wellecks/ntptutorial https://github.com/wellecks.png https://raw.githubusercontent.com/wellecks/ntptutorial/main/partI_nextstep/notebooks/images/llmsuggest/llmsuggest.gif https://reservoir.lean-lang.org/@wupr/order-p-q https://github.com/wupr.png https://reservoir.lean-lang.org/@WuProver/groebner https://github.com/WuProver.png https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@WuProver/MonomialOrderedPolynomial https://github.com/WuProver.png https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@wvhulle/ennreal-arith https://github.com/wvhulle.png https://reservoir.lean-lang.org/@Xiyou-Wu/RiemannianGeometry https://github.com/Xiyou-Wu.png https://reservoir.lean-lang.org/@YaelDillies/AddCombi https://github.com/YaelDillies.png https://github.com/YaelDillies/add-combi/workflows/continuous%20integration/badge.svg?branch=master https://img.shields.io/badge/zulip-join_chat-brightgreen.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://github.com/codespaces/badge.svg https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@YaelDillies/APAP https://github.com/YaelDillies.png https://github.com/YaelDillies/apap/actions/workflows/push.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@YaelDillies/ChandraFurstLipton https://github.com/YaelDillies.png https://github.com/YaelDillies/chandra-furst-lipton/actions/workflows/push.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@YaelDillies/LeanCamCombi https://github.com/YaelDillies.png https://github.com/YaelDillies/cam-combi/actions/workflows/push.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@YaelDillies/MiscYD https://github.com/YaelDillies.png https://github.com/YaelDillies/MiscYD/actions/workflows/push.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@YaelDillies/Toric https://github.com/YaelDillies.png https://github.com/YaelDillies/toric/actions/workflows/push.yml/badge.svg https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod https://gitpod.io/button/open-in-gitpod.svg https://reservoir.lean-lang.org/@yangky11/lean4-example https://github.com/yangky11.png https://reservoir.lean-lang.org/@yangky11/miniF2F-lean4 https://github.com/yangky11.png https://reservoir.lean-lang.org/@YellPika/quasi-borel-spaces https://github.com/YellPika.png https://reservoir.lean-lang.org/@YijunYuan/HarderNarasimhan https://github.com/YijunYuan.png https://github.com/YijunYuan/HarderNarasimhan/actions/workflows/lean_action_ci.yml/badge.svg https://img.shields.io/badge/Lean-4.28.0-5C2D91 https://img.shields.io/badge/mathlib-v4.28.0-5C2D91 https://img.shields.io/badge/License-Apache--2.0-blue.svg https://img.shields.io/badge/Dependency_graph-100000?style=for-the-badge&logo=GitHub&logoColor=white&labelColor=black&color=black https://reservoir.lean-lang.org/@YnirPaz/PCF https://github.com/YnirPaz.png https://reservoir.lean-lang.org/@yuma-mizuno/lean-math-workshop https://github.com/yuma-mizuno.png https://reservoir.lean-lang.org/@zkcrypto/cryptolib https://github.com/zkcrypto.png https://reservoir.lean-lang.org/@zksecurity/EvmAsm https://github.com/zksecurity.png https://reservoir.lean-lang.org/policies/privacy https://reservoir.lean-lang.org/policies/terms https://reservoir.lean-lang.org/@0art0/kimina/versions https://github.com/0art0.png https://reservoir.lean-lang.org/@0art0/lean-slides/dependencies https://github.com/0art0.png https://reservoir.lean-lang.org/@0art0/lean-slides/versions https://github.com/0art0.png https://reservoir.lean-lang.org/@1a776/mathmatic_in_elementary_number_th/dependencies https://github.com/1a776.png https://reservoir.lean-lang.org/@1a776/mathmatic_in_elementary_number_th/versions https://github.com/1a776.png https://reservoir.lean-lang.org/@a2435191/logic-formalization/dependencies https://github.com/a2435191.png https://reservoir.lean-lang.org/@a2435191/logic-formalization/versions https://github.com/a2435191.png https://reservoir.lean-lang.org/@abdoo8080/cvc5/dependents https://github.com/abdoo8080.png https://reservoir.lean-lang.org/@abdoo8080/cvc5/versions https://github.com/abdoo8080.png https://reservoir.lean-lang.org/@acmepjz/Iwasawalib/dependencies https://github.com/acmepjz.png https://reservoir.lean-lang.org/@acmepjz/Iwasawalib/versions https://github.com/acmepjz.png https://reservoir.lean-lang.org/@acmepjz/MD4Lean/dependents https://github.com/acmepjz.png https://reservoir.lean-lang.org/@acmepjz/MD4Lean/versions https://github.com/acmepjz.png https://reservoir.lean-lang.org/@adamtopaz/lean_extras/versions https://github.com/adamtopaz.png https://reservoir.lean-lang.org/@adamtopaz/NodeGraph/dependencies https://github.com/adamtopaz.png https://reservoir.lean-lang.org/@adamtopaz/NodeGraph/versions https://github.com/adamtopaz.png https://reservoir.lean-lang.org/@adomani/advents/dependencies https://github.com/adomani.png https://reservoir.lean-lang.org/@adomani/advents/versions https://github.com/adomani.png https://reservoir.lean-lang.org/@adomani/mA4N1/dependencies https://github.com/adomani.png https://reservoir.lean-lang.org/@adomani/mA4N1/versions https://github.com/adomani.png https://reservoir.lean-lang.org/@AdrienChampion/collChoSoWel/dependencies https://github.com/AdrienChampion.png https://reservoir.lean-lang.org/@AdrienChampion/collChoSoWel/versions https://github.com/AdrienChampion.png https://reservoir.lean-lang.org/@AdrienChampion/loadTerms/versions https://github.com/AdrienChampion.png https://reservoir.lean-lang.org/@AdrienChampion/safeIdx/versions https://github.com/AdrienChampion.png https://reservoir.lean-lang.org/@AeneasVerif/tutorial/dependencies https://github.com/AeneasVerif.png https://reservoir.lean-lang.org/@AeneasVerif/tutorial/versions https://github.com/AeneasVerif.png https://reservoir.lean-lang.org/@AfonsoBitoque/LeanServer/versions https://github.com/AfonsoBitoque.png https://reservoir.lean-lang.org/@ah1112/synthetic_euclid_4/versions https://github.com/ah1112.png https://reservoir.lean-lang.org/@ahhwuhu/Zeta3Irrational/dependencies https://github.com/ahhwuhu.png https://reservoir.lean-lang.org/@ahhwuhu/Zeta3Irrational/versions https://github.com/ahhwuhu.png https://reservoir.lean-lang.org/@AlexBrodbelt/Game/dependencies https://github.com/AlexBrodbelt.png https://reservoir.lean-lang.org/@AlexBrodbelt/Game/versions https://github.com/AlexBrodbelt.png https://reservoir.lean-lang.org/@alexf91/lean4-ctypes/versions https://github.com/alexf91.png https://reservoir.lean-lang.org/@alexjbest/leaff/dependencies https://github.com/alexjbest.png https://reservoir.lean-lang.org/@alexjbest/leaff/versions https://github.com/alexjbest.png https://reservoir.lean-lang.org/@alexjgreig/Quave/dependencies https://github.com/alexjgreig.png https://reservoir.lean-lang.org/@alexjgreig/Quave/versions https://github.com/alexjgreig.png https://reservoir.lean-lang.org/@alexkeizer/qpf/dependencies https://github.com/alexkeizer.png https://reservoir.lean-lang.org/@alexkeizer/qpf/versions https://github.com/alexkeizer.png https://reservoir.lean-lang.org/@AlexKontorovich/CoveringSpacesProject/dependencies https://github.com/AlexKontorovich.png https://reservoir.lean-lang.org/@AlexKontorovich/CoveringSpacesProject/versions https://github.com/AlexKontorovich.png https://reservoir.lean-lang.org/@AlexKontorovich/Game/dependencies https://github.com/AlexKontorovich.png https://reservoir.lean-lang.org/@AlexKontorovich/Game/versions https://github.com/AlexKontorovich.png https://reservoir.lean-lang.org/@AlexKontorovich/PrimeNumberTheoremAnd/dependencies https://github.com/AlexKontorovich.png https://reservoir.lean-lang.org/@AlexKontorovich/PrimeNumberTheoremAnd/dependents https://github.com/AlexKontorovich.png https://reservoir.lean-lang.org/@AlexKontorovich/PrimeNumberTheoremAnd/versions https://github.com/AlexKontorovich.png https://reservoir.lean-lang.org/@AlexLoitzl/pumping_cfg/dependencies https://github.com/AlexLoitzl.png https://reservoir.lean-lang.org/@AlexLoitzl/pumping_cfg/versions https://github.com/AlexLoitzl.png https://reservoir.lean-lang.org/@algebraic-dev/Colorized/dependencies https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@algebraic-dev/Colorized/versions https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@algebraic-dev/Http/dependencies https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@algebraic-dev/Http/versions https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@algebraic-dev/Parse/dependencies https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@algebraic-dev/Parse/versions https://github.com/algebraic-dev.png https://reservoir.lean-lang.org/@alma-n/Game/dependencies https://github.com/alma-n.png https://reservoir.lean-lang.org/@alma-n/Game/versions https://github.com/alma-n.png https://reservoir.lean-lang.org/@alok/AsciiPlot/versions https://github.com/alok.png https://reservoir.lean-lang.org/@alok/ConvolutedProofs/dependencies https://github.com/alok.png https://reservoir.lean-lang.org/@alok/ConvolutedProofs/versions https://github.com/alok.png https://reservoir.lean-lang.org/@alok/HexLuthor/dependencies https://github.com/alok.png https://reservoir.lean-lang.org/@alok/HexLuthor/versions https://github.com/alok.png https://reservoir.lean-lang.org/@alok/lean-autograd/versions https://github.com/alok.png https://reservoir.lean-lang.org/@alok/lean-inf/dependencies https://github.com/alok.png https://reservoir.lean-lang.org/@alok/lean-inf/versions https://github.com/alok.png https://reservoir.lean-lang.org/@alok/LeanBench/dependencies https://github.com/alok.png https://reservoir.lean-lang.org/@alok/LeanBench/versions https://github.com/alok.png https://reservoir.lean-lang.org/@alok/LeanPlot/dependencies https://github.com/alok.png https://reservoir.lean-lang.org/@alok/LeanPlot/versions https://github.com/alok.png https://reservoir.lean-lang.org/@alok/Leantix/versions https://github.com/alok.png https://reservoir.lean-lang.org/@alok/tetraGray/versions https://github.com/alok.png https://reservoir.lean-lang.org/@amarmaduke/lean-stlc/dependencies https://github.com/amarmaduke.png https://reservoir.lean-lang.org/@amarmaduke/lean-stlc/versions https://github.com/amarmaduke.png https://reservoir.lean-lang.org/@amarmaduke/lean-subst/dependencies https://github.com/amarmaduke.png https://reservoir.lean-lang.org/@amarmaduke/lean-subst/dependents https://github.com/amarmaduke.png https://reservoir.lean-lang.org/@amarmaduke/lean-subst/versions https://github.com/amarmaduke.png https://reservoir.lean-lang.org/@ammkrn/printiest/dependencies https://github.com/ammkrn.png https://reservoir.lean-lang.org/@ammkrn/printiest/versions https://github.com/ammkrn.png https://reservoir.lean-lang.org/@ammkrn/timelib/versions https://github.com/ammkrn.png https://reservoir.lean-lang.org/@Anderssorby/SDL/versions https://github.com/Anderssorby.png https://reservoir.lean-lang.org/@andrejbauer/lean2sexp/versions https://github.com/andrejbauer.png https://reservoir.lean-lang.org/@andrejbauer/partial-combinatory-algebras/dependencies https://github.com/andrejbauer.png https://reservoir.lean-lang.org/@andrejbauer/partial-combinatory-algebras/versions https://github.com/andrejbauer.png https://reservoir.lean-lang.org/@AnirudhG07/huffman/dependencies https://github.com/AnirudhG07.png https://reservoir.lean-lang.org/@AnirudhG07/huffman/versions https://github.com/AnirudhG07.png https://reservoir.lean-lang.org/@anlucia/chromatic_polynomial/dependencies https://github.com/anlucia.png https://reservoir.lean-lang.org/@anlucia/chromatic_polynomial/versions https://github.com/anlucia.png https://reservoir.lean-lang.org/@anoma/goose/dependencies https://github.com/anoma.png https://reservoir.lean-lang.org/@anoma/goose/versions https://github.com/anoma.png https://reservoir.lean-lang.org/@anoma/juvix-lean/dependencies https://github.com/anoma.png https://reservoir.lean-lang.org/@anoma/juvix-lean/versions https://github.com/anoma.png https://reservoir.lean-lang.org/@anurudhp/aoc2022/versions https://github.com/anurudhp.png https://reservoir.lean-lang.org/@apnelson1/Matroid/dependencies https://github.com/apnelson1.png https://reservoir.lean-lang.org/@apnelson1/Matroid/versions https://github.com/apnelson1.png https://reservoir.lean-lang.org/@arademaker/delphin/versions https://github.com/arademaker.png https://reservoir.lean-lang.org/@arademaker/fad/dependencies https://github.com/arademaker.png https://reservoir.lean-lang.org/@arademaker/fad/versions https://github.com/arademaker.png https://reservoir.lean-lang.org/@arademaker/vizagrams/dependencies https://github.com/arademaker.png https://reservoir.lean-lang.org/@arademaker/vizagrams/versions https://github.com/arademaker.png https://reservoir.lean-lang.org/@argumentcomputer/Bellanova.lean/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Bellanova.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Blake3/dependents https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Blake3/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/FFaCiL.lean/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/FFaCiL.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Http.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Ipld.lean/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Ipld.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/ix/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/ix/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/LSpec/dependents https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/LSpec/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Lurk.lean/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Lurk.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Megaparsec.lean/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Megaparsec.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Nova.lean/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Nova.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/OpenSSL.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Poseidon.lean/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Poseidon.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/RustFFI.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Spark.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Straume/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Straume/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Vero/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Vero/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Wasm.lean/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/Wasm.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/yatima/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/yatima/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/YatimaStdLib/dependencies https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/YatimaStdLib/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@argumentcomputer/ZKSnark.lean/versions https://github.com/argumentcomputer.png https://reservoir.lean-lang.org/@arthur-adjedj/Leanduction/versions https://github.com/arthur-adjedj.png https://reservoir.lean-lang.org/@Arthur742Ramos/Metatheory/versions https://github.com/Arthur742Ramos.png https://reservoir.lean-lang.org/@arthurpaulino/FxyLang/versions https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/LeanMusic/versions https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/LeanMySQL/versions https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/LeanREPL/versions https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/NumLean/versions https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@arthurpaulino/viper/versions https://github.com/arthurpaulino.png https://reservoir.lean-lang.org/@artie2000/real-closed-field/dependencies https://github.com/artie2000.png https://reservoir.lean-lang.org/@artie2000/real-closed-field/versions https://github.com/artie2000.png https://reservoir.lean-lang.org/@astrainfinita/algorithm/dependencies https://github.com/astrainfinita.png https://reservoir.lean-lang.org/@astrainfinita/algorithm/versions https://github.com/astrainfinita.png https://reservoir.lean-lang.org/@atlas-computing-org/bignum/dependencies https://github.com/atlas-computing-org.png https://reservoir.lean-lang.org/@atlas-computing-org/bignum/versions https://github.com/atlas-computing-org.png https://reservoir.lean-lang.org/@atlas-computing-org/coq_lean_translation/dependencies https://github.com/atlas-computing-org.png https://reservoir.lean-lang.org/@atlas-computing-org/coq_lean_translation/versions https://github.com/atlas-computing-org.png https://reservoir.lean-lang.org/@ATOMSLab/DimensionalAnalysis/dependencies https://github.com/ATOMSLab.png https://reservoir.lean-lang.org/@ATOMSLab/DimensionalAnalysis/versions https://github.com/ATOMSLab.png https://reservoir.lean-lang.org/@ATOMSLab/LeanLJ/dependencies https://github.com/ATOMSLab.png https://reservoir.lean-lang.org/@ATOMSLab/LeanLJ/versions https://github.com/ATOMSLab.png https://reservoir.lean-lang.org/@atrieu/cryptolib/dependencies https://github.com/atrieu.png https://reservoir.lean-lang.org/@atrieu/cryptolib/versions https://github.com/atrieu.png https://reservoir.lean-lang.org/@austinletson/use-lean-standard-action-with-bare-project/versions https://github.com/austinletson.png https://reservoir.lean-lang.org/@auto-res/FoML/dependencies https://github.com/auto-res.png https://reservoir.lean-lang.org/@auto-res/FoML/versions https://github.com/auto-res.png https://reservoir.lean-lang.org/@avigad/LeanSudoku/dependencies https://github.com/avigad.png https://reservoir.lean-lang.org/@avigad/LeanSudoku/versions https://github.com/avigad.png https://reservoir.lean-lang.org/@avigad/VerificationDemo/dependencies https://github.com/avigad.png https://reservoir.lean-lang.org/@avigad/VerificationDemo/versions https://github.com/avigad.png https://reservoir.lean-lang.org/@awodey/joyalRepresentationTheorem/dependencies https://github.com/awodey.png https://reservoir.lean-lang.org/@awodey/joyalRepresentationTheorem/versions https://github.com/awodey.png https://reservoir.lean-lang.org/@AxiomMath/Deadends/dependencies https://github.com/AxiomMath.png https://reservoir.lean-lang.org/@AxiomMath/Deadends/versions https://github.com/AxiomMath.png https://reservoir.lean-lang.org/@AxiomMath/FelConjecture/dependencies https://github.com/AxiomMath.png https://reservoir.lean-lang.org/@AxiomMath/FelConjecture/versions https://github.com/AxiomMath.png https://reservoir.lean-lang.org/@AxiomMath/PartialRegularity/dependencies https://github.com/AxiomMath.png https://reservoir.lean-lang.org/@AxiomMath/PartialRegularity/versions https://github.com/AxiomMath.png https://reservoir.lean-lang.org/@b-mehta/ABCExceptions/dependencies https://github.com/b-mehta.png https://reservoir.lean-lang.org/@b-mehta/ABCExceptions/versions https://github.com/b-mehta.png https://reservoir.lean-lang.org/@b-mehta/AharoniKorman/dependencies https://github.com/b-mehta.png https://reservoir.lean-lang.org/@b-mehta/AharoniKorman/versions https://github.com/b-mehta.png https://reservoir.lean-lang.org/@b-mehta/FormalisingMathematics2026/dependencies https://github.com/b-mehta.png https://reservoir.lean-lang.org/@b-mehta/FormalisingMathematics2026/versions https://github.com/b-mehta.png https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/Curve25519Dalek/dependencies https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/Curve25519Dalek/versions https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/FloatSpec/dependencies https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/FloatSpec/versions https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/NumpySpec/dependencies https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@Beneficial-AI-Foundation/NumpySpec/versions https://github.com/Beneficial-AI-Foundation.png https://reservoir.lean-lang.org/@bergmannjg/Curl/dependents https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@bergmannjg/Curl/versions https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@bergmannjg/Regex/dependencies https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@bergmannjg/Regex/dependents https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@bergmannjg/Regex/versions https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@bergmannjg/time/dependencies https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@bergmannjg/time/versions https://github.com/bergmannjg.png https://reservoir.lean-lang.org/@Bergschaf/banach_tarski/dependencies https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@Bergschaf/banach_tarski/versions https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@Bergschaf/LeanBanachTarski/dependencies https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@Bergschaf/LeanBanachTarski/versions https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@Bergschaf/Localic-Caratheodory-Extensions/dependencies https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@Bergschaf/Localic-Caratheodory-Extensions/versions https://github.com/Bergschaf.png https://reservoir.lean-lang.org/@bjoernkjoshanssen/interest/dependencies https://github.com/bjoernkjoshanssen.png https://reservoir.lean-lang.org/@bjoernkjoshanssen/interest/versions https://github.com/bjoernkjoshanssen.png https://reservoir.lean-lang.org/@bkase/VerifiedGPU/dependencies https://github.com/bkase.png https://reservoir.lean-lang.org/@bkase/VerifiedGPU/versions https://github.com/bkase.png https://reservoir.lean-lang.org/@BoltonBailey/formalSnarksProject/dependencies https://github.com/BoltonBailey.png https://reservoir.lean-lang.org/@BoltonBailey/formalSnarksProject/versions https://github.com/BoltonBailey.png https://reservoir.lean-lang.org/@bridgekat/filter-game/dependencies https://github.com/bridgekat.png https://reservoir.lean-lang.org/@bridgekat/filter-game/versions https://github.com/bridgekat.png https://reservoir.lean-lang.org/@BRonen/sqlite/dependencies https://github.com/BRonen.png https://reservoir.lean-lang.org/@BRonen/sqlite/versions https://github.com/BRonen.png https://reservoir.lean-lang.org/@CAIMEOX/json-schema/dependencies https://github.com/CAIMEOX.png https://reservoir.lean-lang.org/@CAIMEOX/json-schema/versions https://github.com/CAIMEOX.png https://reservoir.lean-lang.org/@cameronfreer/exchangeability/dependencies https://github.com/cameronfreer.png https://reservoir.lean-lang.org/@cameronfreer/exchangeability/versions https://github.com/cameronfreer.png https://reservoir.lean-lang.org/@CarlKCarlK/RangeSetBlaze/dependencies https://github.com/CarlKCarlK.png https://reservoir.lean-lang.org/@CarlKCarlK/RangeSetBlaze/versions https://github.com/CarlKCarlK.png https://reservoir.lean-lang.org/@chasenorman/Canonical/dependents https://github.com/chasenorman.png https://reservoir.lean-lang.org/@chasenorman/Canonical/versions https://github.com/chasenorman.png https://reservoir.lean-lang.org/@chords-project/itc-course/dependencies https://github.com/chords-project.png https://reservoir.lean-lang.org/@chords-project/itc-course/versions https://github.com/chords-project.png https://reservoir.lean-lang.org/@chrisflav/bruhat-tits/dependencies https://github.com/chrisflav.png https://reservoir.lean-lang.org/@chrisflav/bruhat-tits/versions https://github.com/chrisflav.png https://reservoir.lean-lang.org/@chrisflav/db/dependencies https://github.com/chrisflav.png https://reservoir.lean-lang.org/@chrisflav/db/versions https://github.com/chrisflav.png https://reservoir.lean-lang.org/@chrisflav/proetale/dependencies https://github.com/chrisflav.png https://reservoir.lean-lang.org/@chrisflav/proetale/versions https://github.com/chrisflav.png https://reservoir.lean-lang.org/@Clap-lang/clap/dependencies https://github.com/Clap-lang.png https://reservoir.lean-lang.org/@Clap-lang/clap/versions https://github.com/Clap-lang.png https://reservoir.lean-lang.org/@cmu-l3/llmlean/versions https://github.com/cmu-l3.png https://reservoir.lean-lang.org/@codyroux/traat/dependencies https://github.com/codyroux.png https://reservoir.lean-lang.org/@codyroux/traat/versions https://github.com/codyroux.png https://reservoir.lean-lang.org/@Command-Master/pseudorandom/dependencies https://github.com/Command-Master.png https://reservoir.lean-lang.org/@Command-Master/pseudorandom/versions https://github.com/Command-Master.png https://reservoir.lean-lang.org/@compiler64/Monad/dependencies https://github.com/compiler64.png https://reservoir.lean-lang.org/@compiler64/Monad/versions https://github.com/compiler64.png https://reservoir.lean-lang.org/@ctchou/AutomataTheory/dependencies https://github.com/ctchou.png https://reservoir.lean-lang.org/@ctchou/AutomataTheory/versions https://github.com/ctchou.png https://reservoir.lean-lang.org/@dagurtomas/LeanCondensed/dependencies https://github.com/dagurtomas.png https://reservoir.lean-lang.org/@dagurtomas/LeanCondensed/versions https://github.com/dagurtomas.png https://reservoir.lean-lang.org/@dannypsnl/violet/dependencies https://github.com/dannypsnl.png https://reservoir.lean-lang.org/@dannypsnl/violet/versions https://github.com/dannypsnl.png https://reservoir.lean-lang.org/@datokrat/Iterator/versions https://github.com/datokrat.png https://reservoir.lean-lang.org/@DavePearce/LeanEVM/versions https://github.com/DavePearce.png https://reservoir.lean-lang.org/@Deducteam/Lean2Dk/dependencies https://github.com/Deducteam.png https://reservoir.lean-lang.org/@Deducteam/Lean2Dk/versions https://github.com/Deducteam.png https://reservoir.lean-lang.org/@DhyeyMavani2003/chip-firing-with-lean/dependencies https://github.com/DhyeyMavani2003.png https://reservoir.lean-lang.org/@DhyeyMavani2003/chip-firing-with-lean/versions https://github.com/DhyeyMavani2003.png https://reservoir.lean-lang.org/@digama0/lean4lean/dependencies https://github.com/digama0.png https://reservoir.lean-lang.org/@digama0/lean4lean/versions https://github.com/digama0.png https://reservoir.lean-lang.org/@djvelleman/htpi/dependencies https://github.com/djvelleman.png https://reservoir.lean-lang.org/@djvelleman/htpi/versions https://github.com/djvelleman.png https://reservoir.lean-lang.org/@Dominique-Lawson/lean_4/dependencies https://github.com/Dominique-Lawson.png https://reservoir.lean-lang.org/@Dominique-Lawson/lean_4/versions https://github.com/Dominique-Lawson.png https://reservoir.lean-lang.org/@draperlaboratory/ELFSage/dependencies https://github.com/draperlaboratory.png https://reservoir.lean-lang.org/@draperlaboratory/ELFSage/dependents https://github.com/draperlaboratory.png https://reservoir.lean-lang.org/@draperlaboratory/ELFSage/versions https://github.com/draperlaboratory.png https://reservoir.lean-lang.org/@dupuisf/BibtexQuery/dependencies https://github.com/dupuisf.png https://reservoir.lean-lang.org/@dupuisf/BibtexQuery/dependents https://github.com/dupuisf.png https://reservoir.lean-lang.org/@dupuisf/BibtexQuery/versions https://github.com/dupuisf.png https://reservoir.lean-lang.org/@dwrensha/animate/dependencies https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/animate/versions https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/Chess/dependencies https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/Chess/versions https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/compfiles/dependencies https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/compfiles/versions https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/maze/versions https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/rupert/dependencies https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/rupert/versions https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/tryAtEachStep/dependents https://github.com/dwrensha.png https://reservoir.lean-lang.org/@dwrensha/tryAtEachStep/versions https://github.com/dwrensha.png https://reservoir.lean-lang.org/@ecyrbe/lean-units/dependencies https://github.com/ecyrbe.png https://reservoir.lean-lang.org/@ecyrbe/lean-units/versions https://github.com/ecyrbe.png https://reservoir.lean-lang.org/@ElifUskuplu/stlc/dependencies https://github.com/ElifUskuplu.png https://reservoir.lean-lang.org/@ElifUskuplu/stlc/versions https://github.com/ElifUskuplu.png https://reservoir.lean-lang.org/@emilyriehl/Game/dependencies https://github.com/emilyriehl.png https://reservoir.lean-lang.org/@emilyriehl/Game/versions https://github.com/emilyriehl.png https://reservoir.lean-lang.org/@emilyriehl/InfinityCosmos/dependencies https://github.com/emilyriehl.png https://reservoir.lean-lang.org/@emilyriehl/InfinityCosmos/versions https://github.com/emilyriehl.png https://reservoir.lean-lang.org/@eric-wieser/matrix_cookbook/dependencies https://github.com/eric-wieser.png https://reservoir.lean-lang.org/@eric-wieser/matrix_cookbook/versions https://github.com/eric-wieser.png https://reservoir.lean-lang.org/@eshelyaron/bdd/dependencies https://github.com/eshelyaron.png https://reservoir.lean-lang.org/@eshelyaron/bdd/versions https://github.com/eshelyaron.png https://reservoir.lean-lang.org/@fgdorais/algebra/dependencies https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/algebra/versions https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/extra/dependencies https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/extra/dependents https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/extra/versions https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/lean4-automata/dependencies https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/lean4-automata/versions https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/logic/dependencies https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/logic/dependents https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/logic/versions https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/Parser/dependencies https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/Parser/dependents https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/Parser/versions https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/UnicodeBasic/dependents https://github.com/fgdorais.png https://reservoir.lean-lang.org/@fgdorais/UnicodeBasic/versions https://github.com/fgdorais.png https://reservoir.lean-lang.org/@FLDutchmann/selbergSieve/dependencies https://github.com/FLDutchmann.png https://reservoir.lean-lang.org/@FLDutchmann/selbergSieve/versions https://github.com/FLDutchmann.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/arithmetization/dependencies https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/arithmetization/dependents https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/arithmetization/versions https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/Foundation/dependencies https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/Foundation/dependents https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/Foundation/versions https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/incompleteness/dependencies https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@FormalizedFormalLogic/incompleteness/versions https://github.com/FormalizedFormalLogic.png https://reservoir.lean-lang.org/@formalproofs/mdplib/dependencies https://github.com/formalproofs.png https://reservoir.lean-lang.org/@formalproofs/mdplib/versions https://github.com/formalproofs.png https://reservoir.lean-lang.org/@FormalSAT/trestle/dependencies https://github.com/FormalSAT.png https://reservoir.lean-lang.org/@FormalSAT/trestle/versions https://github.com/FormalSAT.png https://reservoir.lean-lang.org/@fplaunchpad/LeanLangur/dependencies https://github.com/fplaunchpad.png https://reservoir.lean-lang.org/@fplaunchpad/LeanLangur/versions https://github.com/fplaunchpad.png https://reservoir.lean-lang.org/@fpvandoorn/bonnAnalysis/dependencies https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/bonnAnalysis/versions https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/carleson/dependencies https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/carleson/versions https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/HausdorffSchoolLean/dependencies https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/HausdorffSchoolLean/versions https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/LeanCourse/dependencies https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/LeanCourse/versions https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/LeanCourse25/dependencies https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/LeanCourse25/versions https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/LogicColloquiumTutorial/dependencies https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/LogicColloquiumTutorial/versions https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/sard/dependencies https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/sard/versions https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/Seminar/dependencies https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@fpvandoorn/Seminar/versions https://github.com/fpvandoorn.png https://reservoir.lean-lang.org/@FredRaj3/SemicircleLaw/dependencies https://github.com/FredRaj3.png https://reservoir.lean-lang.org/@FredRaj3/SemicircleLaw/versions https://github.com/FredRaj3.png https://reservoir.lean-lang.org/@frenzymath/FATE-H/dependencies https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/FATE-H/versions https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/FATE-M/dependencies https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/FATE-M/versions https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/jixia/dependencies https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/jixia/versions https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/reap/dependencies https://github.com/frenzymath.png https://reservoir.lean-lang.org/@frenzymath/reap/versions https://github.com/frenzymath.png https://reservoir.lean-lang.org/@functionally/Crypto/dependencies https://github.com/functionally.png https://reservoir.lean-lang.org/@functionally/Crypto/versions https://github.com/functionally.png https://reservoir.lean-lang.org/@funexists/raylean/dependencies https://github.com/funexists.png https://reservoir.lean-lang.org/@funexists/raylean/versions https://github.com/funexists.png https://reservoir.lean-lang.org/@FWuermse/Postgres/dependencies https://github.com/FWuermse.png https://reservoir.lean-lang.org/@FWuermse/Postgres/versions https://github.com/FWuermse.png https://reservoir.lean-lang.org/@GaloisInc/zkLeanEcosystem/versions https://github.com/GaloisInc.png https://reservoir.lean-lang.org/@GasStationManager/ArtificialAlgorithms/dependencies https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/ArtificialAlgorithms/versions https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/CodeProofTheArena/dependencies https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/CodeProofTheArena/versions https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/FormalizeWithTest/dependencies https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/FormalizeWithTest/versions https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/LeanTool/dependencies https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/LeanTool/versions https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/SafeVerify/dependencies https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/SafeVerify/dependents https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@GasStationManager/SafeVerify/versions https://github.com/GasStationManager.png https://reservoir.lean-lang.org/@gdncc/cryptography/versions https://github.com/gdncc.png https://reservoir.lean-lang.org/@Geoc2022/Game/dependencies https://github.com/Geoc2022.png https://reservoir.lean-lang.org/@Geoc2022/Game/versions https://github.com/Geoc2022.png https://reservoir.lean-lang.org/@girafe-ai/formalising-mathematics/dependencies https://github.com/girafe-ai.png https://reservoir.lean-lang.org/@girafe-ai/formalising-mathematics/versions https://github.com/girafe-ai.png https://reservoir.lean-lang.org/@girving/bottcher/dependencies https://github.com/girving.png https://reservoir.lean-lang.org/@girving/bottcher/versions https://github.com/girving.png https://reservoir.lean-lang.org/@girving/interval/dependencies https://github.com/girving.png https://reservoir.lean-lang.org/@girving/interval/dependents https://github.com/girving.png https://reservoir.lean-lang.org/@girving/interval/versions https://github.com/girving.png https://reservoir.lean-lang.org/@girving/ray-series/dependencies https://github.com/girving.png https://reservoir.lean-lang.org/@girving/ray-series/dependents https://github.com/girving.png https://reservoir.lean-lang.org/@girving/ray-series/versions https://github.com/girving.png https://reservoir.lean-lang.org/@girving/ray/dependencies https://github.com/girving.png https://reservoir.lean-lang.org/@girving/ray/dependents https://github.com/girving.png https://reservoir.lean-lang.org/@girving/ray/versions https://github.com/girving.png https://reservoir.lean-lang.org/@girving/render/dependencies https://github.com/girving.png https://reservoir.lean-lang.org/@girving/render/versions https://github.com/girving.png https://reservoir.lean-lang.org/@glams-lean-2024/Formal2024/dependencies https://github.com/glams-lean-2024.png https://reservoir.lean-lang.org/@glams-lean-2024/Formal2024/versions https://github.com/glams-lean-2024.png https://reservoir.lean-lang.org/@goens/Hoare/versions https://github.com/goens.png https://reservoir.lean-lang.org/@goens/lost-pop-lean/versions https://github.com/goens.png https://reservoir.lean-lang.org/@google-deepmind/debate/dependencies https://github.com/google-deepmind.png https://reservoir.lean-lang.org/@google-deepmind/debate/versions https://github.com/google-deepmind.png https://reservoir.lean-lang.org/@google-deepmind/formal_conjectures/dependencies https://github.com/google-deepmind.png https://reservoir.lean-lang.org/@google-deepmind/formal_conjectures/dependents https://github.com/google-deepmind.png https://reservoir.lean-lang.org/@google-deepmind/formal_conjectures/versions https://github.com/google-deepmind.png https://reservoir.lean-lang.org/@google-deepmind/imo/dependencies https://github.com/google-deepmind.png https://reservoir.lean-lang.org/@google-deepmind/imo/versions https://github.com/google-deepmind.png https://reservoir.lean-lang.org/@gsierra99/ExFormMathL4/dependencies https://github.com/gsierra99.png https://reservoir.lean-lang.org/@gsierra99/ExFormMathL4/versions https://github.com/gsierra99.png https://reservoir.lean-lang.org/@Gusarich/tvm-lean/versions https://github.com/Gusarich.png https://reservoir.lean-lang.org/@Hagb/lean-groebner/dependencies https://github.com/Hagb.png https://reservoir.lean-lang.org/@Hagb/lean-groebner/versions https://github.com/Hagb.png https://reservoir.lean-lang.org/@HannahSantos/FMCn_Lean/versions https://github.com/HannahSantos.png https://reservoir.lean-lang.org/@hanwenzhu/hammer-demo/dependencies https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@hanwenzhu/hammer-demo/versions https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@hanwenzhu/LeanArchitect/dependencies https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@hanwenzhu/LeanArchitect/dependents https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@hanwenzhu/LeanArchitect/versions https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@hanwenzhu/MillerRabin/dependencies https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@hanwenzhu/MillerRabin/versions https://github.com/hanwenzhu.png https://reservoir.lean-lang.org/@Happyves/workshop/dependencies https://github.com/Happyves.png https://reservoir.lean-lang.org/@Happyves/workshop/versions https://github.com/Happyves.png https://reservoir.lean-lang.org/@hargoniX/cpdt-lean/versions https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/crup/versions https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/Flame/versions https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/leanwuzla/dependencies https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/leanwuzla/dependents https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/leanwuzla/versions https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/mini-redis/dependencies https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/mini-redis/versions https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/socket/dependencies https://github.com/hargoniX.png https://reservoir.lean-lang.org/@hargoniX/socket/versions https://github.com/hargoniX.png https://reservoir.lean-lang.org/@haruhisa-enomoto/mathlib4-all-tactics/dependencies https://github.com/haruhisa-enomoto.png https://reservoir.lean-lang.org/@haruhisa-enomoto/mathlib4-all-tactics/versions https://github.com/haruhisa-enomoto.png https://reservoir.lean-lang.org/@haskell-spec/haskell-spec/versions https://github.com/haskell-spec.png https://reservoir.lean-lang.org/@hdmkindom/mathmatic_in_elementary_number_th/dependencies https://github.com/hdmkindom.png https://reservoir.lean-lang.org/@hdmkindom/mathmatic_in_elementary_number_th/versions https://github.com/hdmkindom.png https://reservoir.lean-lang.org/@hgoldstein95/palamedes/dependencies https://github.com/hgoldstein95.png https://reservoir.lean-lang.org/@hgoldstein95/palamedes/versions https://github.com/hgoldstein95.png https://reservoir.lean-lang.org/@hhu-adam/Game/dependencies https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hhu-adam/Game/versions https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hhu-adam/i18n/dependencies https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hhu-adam/i18n/dependents https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hhu-adam/i18n/versions https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hhu-adam/webeditor/versions https://github.com/hhu-adam.png https://reservoir.lean-lang.org/@hwatheod/galeShapley/dependencies https://github.com/hwatheod.png https://reservoir.lean-lang.org/@hwatheod/galeShapley/versions https://github.com/hwatheod.png https://reservoir.lean-lang.org/@iasakura/lean-yjs/dependencies https://github.com/iasakura.png https://reservoir.lean-lang.org/@iasakura/lean-yjs/versions https://github.com/iasakura.png https://reservoir.lean-lang.org/@igrep/test/versions https://github.com/igrep.png https://reservoir.lean-lang.org/@imbrem/DeBruijnSSA/dependencies https://github.com/imbrem.png https://reservoir.lean-lang.org/@imbrem/DeBruijnSSA/versions https://github.com/imbrem.png https://reservoir.lean-lang.org/@imbrem/discretion/dependencies https://github.com/imbrem.png https://reservoir.lean-lang.org/@imbrem/discretion/dependents https://github.com/imbrem.png https://reservoir.lean-lang.org/@imbrem/discretion/versions https://github.com/imbrem.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/FLT/dependencies https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/FLT/versions https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/formalising-mathematics-2024/dependencies https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/formalising-mathematics-2024/versions https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/IUM/versions https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/LAGinLean/dependencies https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/LAGinLean/versions https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/M1F-explained/dependencies https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@ImperialCollegeLondon/M1F-explained/versions https://github.com/ImperialCollegeLondon.png https://reservoir.lean-lang.org/@input-output-hk/Blaster/dependents https://github.com/input-output-hk.png https://reservoir.lean-lang.org/@input-output-hk/Blaster/versions https://github.com/input-output-hk.png https://reservoir.lean-lang.org/@int-y1/proofs/dependencies https://github.com/int-y1.png https://reservoir.lean-lang.org/@int-y1/proofs/versions https://github.com/int-y1.png https://reservoir.lean-lang.org/@intgrah/qdt/dependencies https://github.com/intgrah.png https://reservoir.lean-lang.org/@intgrah/qdt/versions https://github.com/intgrah.png https://reservoir.lean-lang.org/@ionathanch/MutualInduction/versions https://github.com/ionathanch.png https://reservoir.lean-lang.org/@ISTA-PLV/Coinductive/versions https://github.com/ISTA-PLV.png https://reservoir.lean-lang.org/@Ivan-Sergeyev/Seymour/dependencies https://github.com/Ivan-Sergeyev.png https://reservoir.lean-lang.org/@Ivan-Sergeyev/Seymour/versions https://github.com/Ivan-Sergeyev.png https://reservoir.lean-lang.org/@ivankobe/FactorizationSystems/dependencies https://github.com/ivankobe.png https://reservoir.lean-lang.org/@ivankobe/FactorizationSystems/versions https://github.com/ivankobe.png https://reservoir.lean-lang.org/@ixaxaar/monoid.space/dependencies https://github.com/ixaxaar.png https://reservoir.lean-lang.org/@ixaxaar/monoid.space/versions https://github.com/ixaxaar.png https://reservoir.lean-lang.org/@Izzimach/lean-glfw/versions https://github.com/Izzimach.png https://reservoir.lean-lang.org/@Izzimach/pteffects/dependencies https://github.com/Izzimach.png https://reservoir.lean-lang.org/@Izzimach/pteffects/versions https://github.com/Izzimach.png https://reservoir.lean-lang.org/@jaalonso/Calculemus2_es/dependencies https://github.com/jaalonso.png https://reservoir.lean-lang.org/@jaalonso/Calculemus2_es/versions https://github.com/jaalonso.png https://reservoir.lean-lang.org/@jaalonso/Calculemus2/dependencies https://github.com/jaalonso.png https://reservoir.lean-lang.org/@jaalonso/Calculemus2/versions https://github.com/jaalonso.png https://reservoir.lean-lang.org/@JadAbouHawili/Game/dependencies https://github.com/JadAbouHawili.png https://reservoir.lean-lang.org/@JadAbouHawili/Game/versions https://github.com/JadAbouHawili.png https://reservoir.lean-lang.org/@JadAbouHawili/SmullyanKnightsAndKnaves/dependencies https://github.com/JadAbouHawili.png https://reservoir.lean-lang.org/@JadAbouHawili/SmullyanKnightsAndKnaves/versions https://github.com/JadAbouHawili.png https://reservoir.lean-lang.org/@JamesGallicchio/Http/dependencies https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JamesGallicchio/Http/dependents https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JamesGallicchio/Http/versions https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JamesGallicchio/lean-openapi/dependencies https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JamesGallicchio/lean-openapi/versions https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JamesGallicchio/leancolls/dependencies https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JamesGallicchio/leancolls/versions https://github.com/JamesGallicchio.png https://reservoir.lean-lang.org/@JasonShroyer/sgc/dependencies https://github.com/JasonShroyer.png https://reservoir.lean-lang.org/@JasonShroyer/sgc/versions https://github.com/JasonShroyer.png https://reservoir.lean-lang.org/@jcreedcmu/Noperthedron/dependencies https://github.com/jcreedcmu.png https://reservoir.lean-lang.org/@jcreedcmu/Noperthedron/versions https://github.com/jcreedcmu.png https://reservoir.lean-lang.org/@jessealama/lint-llm-proofs/dependents https://github.com/jessealama.png https://reservoir.lean-lang.org/@jessealama/lint-llm-proofs/versions https://github.com/jessealama.png https://reservoir.lean-lang.org/@jeswr/RustFFI/dependencies https://github.com/jeswr.png https://reservoir.lean-lang.org/@jeswr/RustFFI/versions https://github.com/jeswr.png https://reservoir.lean-lang.org/@JJYYY-JJY/NormalForms/dependencies https://github.com/JJYYY-JJY.png https://reservoir.lean-lang.org/@JJYYY-JJY/NormalForms/versions https://github.com/JJYYY-JJY.png https://reservoir.lean-lang.org/@JLimperg/regensburg-itp-school-2023/dependencies https://github.com/JLimperg.png https://reservoir.lean-lang.org/@JLimperg/regensburg-itp-school-2023/versions https://github.com/JLimperg.png https://reservoir.lean-lang.org/@JobPetrovcic/ArtinWedderburn/dependencies https://github.com/JobPetrovcic.png https://reservoir.lean-lang.org/@JobPetrovcic/ArtinWedderburn/versions https://github.com/JobPetrovcic.png https://reservoir.lean-lang.org/@joehendrix/lean-crypto/dependencies https://github.com/joehendrix.png https://reservoir.lean-lang.org/@joehendrix/lean-crypto/versions https://github.com/joehendrix.png https://reservoir.lean-lang.org/@jonwashburn/Riemann/dependencies https://github.com/jonwashburn.png https://reservoir.lean-lang.org/@jonwashburn/Riemann/versions https://github.com/jonwashburn.png https://reservoir.lean-lang.org/@Joonas-vonlerber/Game/dependencies https://github.com/Joonas-vonlerber.png https://reservoir.lean-lang.org/@Joonas-vonlerber/Game/versions https://github.com/Joonas-vonlerber.png https://reservoir.lean-lang.org/@josephmckinsey/flean/dependencies https://github.com/josephmckinsey.png https://reservoir.lean-lang.org/@josephmckinsey/flean/versions https://github.com/josephmckinsey.png https://reservoir.lean-lang.org/@JOSHCLUNE/Hammer/dependencies https://github.com/JOSHCLUNE.png https://reservoir.lean-lang.org/@JOSHCLUNE/Hammer/dependents https://github.com/JOSHCLUNE.png https://reservoir.lean-lang.org/@JOSHCLUNE/Hammer/versions https://github.com/JOSHCLUNE.png https://reservoir.lean-lang.org/@jsm28/AM/dependencies https://github.com/jsm28.png https://reservoir.lean-lang.org/@jsm28/AM/versions https://github.com/jsm28.png https://reservoir.lean-lang.org/@jsm28/IMO/dependencies https://github.com/jsm28.png https://reservoir.lean-lang.org/@jsm28/IMO/versions https://github.com/jsm28.png https://reservoir.lean-lang.org/@jtristan/lffi/dependencies https://github.com/jtristan.png https://reservoir.lean-lang.org/@jtristan/lffi/versions https://github.com/jtristan.png https://reservoir.lean-lang.org/@jtristan/UnicodeSkipListTable/dependents https://github.com/jtristan.png https://reservoir.lean-lang.org/@jtristan/UnicodeSkipListTable/versions https://github.com/jtristan.png https://reservoir.lean-lang.org/@jtristan/UnicodeSkipListTableExample/dependencies https://github.com/jtristan.png https://reservoir.lean-lang.org/@jtristan/UnicodeSkipListTableExample/versions https://github.com/jtristan.png https://reservoir.lean-lang.org/@juhp/curljson/dependencies https://github.com/juhp.png https://reservoir.lean-lang.org/@juhp/curljson/versions https://github.com/juhp.png https://reservoir.lean-lang.org/@Julian/Generatingfunctionology/dependencies https://github.com/Julian.png https://reservoir.lean-lang.org/@Julian/Generatingfunctionology/versions https://github.com/Julian.png https://reservoir.lean-lang.org/@JulsDE/MRiscX/dependencies https://github.com/JulsDE.png https://reservoir.lean-lang.org/@JulsDE/MRiscX/versions https://github.com/JulsDE.png https://reservoir.lean-lang.org/@katydid/regexderiv/dependencies https://github.com/katydid.png https://reservoir.lean-lang.org/@katydid/regexderiv/versions https://github.com/katydid.png https://reservoir.lean-lang.org/@katydid/sadol/versions https://github.com/katydid.png https://reservoir.lean-lang.org/@kbuzzard/ClassFieldTheory/dependencies https://github.com/kbuzzard.png https://reservoir.lean-lang.org/@kbuzzard/ClassFieldTheory/versions https://github.com/kbuzzard.png https://reservoir.lean-lang.org/@kbuzzard/Game/dependencies https://github.com/kbuzzard.png https://reservoir.lean-lang.org/@kbuzzard/Game/versions https://github.com/kbuzzard.png https://reservoir.lean-lang.org/@kckennylau/EllipticCurve/dependencies https://github.com/kckennylau.png https://reservoir.lean-lang.org/@kckennylau/EllipticCurve/versions https://github.com/kckennylau.png https://reservoir.lean-lang.org/@kebekus/VD/dependencies https://github.com/kebekus.png https://reservoir.lean-lang.org/@kebekus/VD/versions https://github.com/kebekus.png https://reservoir.lean-lang.org/@keilambda/eocia-lean/dependencies https://github.com/keilambda.png https://reservoir.lean-lang.org/@keilambda/eocia-lean/versions https://github.com/keilambda.png https://reservoir.lean-lang.org/@keilambda/ttfpi/dependencies https://github.com/keilambda.png https://reservoir.lean-lang.org/@keilambda/ttfpi/versions https://github.com/keilambda.png https://reservoir.lean-lang.org/@kim-em/lean-finmap/versions https://github.com/kim-em.png https://reservoir.lean-lang.org/@kim-em/lean-training-data/dependencies https://github.com/kim-em.png https://reservoir.lean-lang.org/@kim-em/lean-training-data/versions https://github.com/kim-em.png https://reservoir.lean-lang.org/@KislyjKisel/pod/dependencies https://github.com/KislyjKisel.png https://reservoir.lean-lang.org/@KislyjKisel/pod/dependents https://github.com/KislyjKisel.png https://reservoir.lean-lang.org/@KislyjKisel/pod/versions https://github.com/KislyjKisel.png https://reservoir.lean-lang.org/@KislyjKisel/raylib/dependencies https://github.com/KislyjKisel.png https://reservoir.lean-lang.org/@KislyjKisel/raylib/versions https://github.com/KislyjKisel.png https://reservoir.lean-lang.org/@kkaunda/Project/dependencies https://github.com/kkaunda.png https://reservoir.lean-lang.org/@kkaunda/Project/versions https://github.com/kkaunda.png https://reservoir.lean-lang.org/@kkytola/ExtremeValueProject/dependencies https://github.com/kkytola.png https://reservoir.lean-lang.org/@kkytola/ExtremeValueProject/versions https://github.com/kkytola.png https://reservoir.lean-lang.org/@kkytola/VirasoroProject/dependencies https://github.com/kkytola.png https://reservoir.lean-lang.org/@kkytola/VirasoroProject/versions https://github.com/kkytola.png https://reservoir.lean-lang.org/@klavins/LeanBook/dependencies https://github.com/klavins.png https://reservoir.lean-lang.org/@klavins/LeanBook/versions https://github.com/klavins.png https://reservoir.lean-lang.org/@kmill/LeanTeX_Mathlib/dependencies https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/LeanTeX_Mathlib/versions https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/LeanTeX/dependencies https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/LeanTeX/dependents https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/LeanTeX/versions https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/msri2023_graphs/dependencies https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/msri2023_graphs/versions https://github.com/kmill.png https://reservoir.lean-lang.org/@kmill/render/versions https://github.com/kmill.png https://reservoir.lean-lang.org/@knowsys/certifyingDatalog/dependencies https://github.com/knowsys.png https://reservoir.lean-lang.org/@knowsys/certifyingDatalog/versions https://github.com/knowsys.png https://reservoir.lean-lang.org/@knowsys/FormaleSystemeInLean/dependencies https://github.com/knowsys.png https://reservoir.lean-lang.org/@knowsys/FormaleSystemeInLean/versions https://github.com/knowsys.png https://reservoir.lean-lang.org/@konne88/functorio/versions https://github.com/konne88.png https://reservoir.lean-lang.org/@Koukyosyumei/pol/dependencies https://github.com/Koukyosyumei.png https://reservoir.lean-lang.org/@Koukyosyumei/pol/versions https://github.com/Koukyosyumei.png https://reservoir.lean-lang.org/@Koukyosyumei/runwai_project/dependencies https://github.com/Koukyosyumei.png https://reservoir.lean-lang.org/@Koukyosyumei/runwai_project/versions https://github.com/Koukyosyumei.png https://reservoir.lean-lang.org/@kovach/etch/dependencies https://github.com/kovach.png https://reservoir.lean-lang.org/@kovach/etch/versions https://github.com/kovach.png https://reservoir.lean-lang.org/@lambda-fairy/taleve/dependencies https://github.com/lambda-fairy.png https://reservoir.lean-lang.org/@lambda-fairy/taleve/versions https://github.com/lambda-fairy.png https://reservoir.lean-lang.org/@lambdaclass/amo-lean/dependencies https://github.com/lambdaclass.png https://reservoir.lean-lang.org/@lambdaclass/amo-lean/versions https://github.com/lambdaclass.png https://reservoir.lean-lang.org/@lambdaclass/optisat/versions https://github.com/lambdaclass.png https://reservoir.lean-lang.org/@lean-dojo/LeanCopilot/dependencies https://github.com/lean-dojo.png https://reservoir.lean-lang.org/@lean-dojo/LeanCopilot/dependents https://github.com/lean-dojo.png https://reservoir.lean-lang.org/@lean-dojo/LeanCopilot/versions https://github.com/lean-dojo.png https://reservoir.lean-lang.org/@lean-dojo/problems/dependencies https://github.com/lean-dojo.png https://reservoir.lean-lang.org/@lean-dojo/problems/versions https://github.com/lean-dojo.png https://reservoir.lean-lang.org/@lean-ja/Lean by Example/dependencies https://github.com/lean-ja.png https://reservoir.lean-lang.org/@lean-ja/Lean by Example/versions https://github.com/lean-ja.png https://reservoir.lean-lang.org/@lean-ja/lean99/dependencies https://github.com/lean-ja.png https://reservoir.lean-lang.org/@lean-ja/lean99/versions https://github.com/lean-ja.png https://reservoir.lean-lang.org/@lean-ja/verso-manual/dependencies https://github.com/lean-ja.png https://reservoir.lean-lang.org/@lean-ja/verso-manual/versions https://github.com/lean-ja.png https://reservoir.lean-lang.org/@lean-machines-central/lean-machines-examples/dependencies https://github.com/lean-machines-central.png https://reservoir.lean-lang.org/@lean-machines-central/lean-machines-examples/versions https://github.com/lean-machines-central.png https://reservoir.lean-lang.org/@lean-machines-central/lean-machines/dependencies https://github.com/lean-machines-central.png https://reservoir.lean-lang.org/@lean-machines-central/lean-machines/dependents https://github.com/lean-machines-central.png https://reservoir.lean-lang.org/@lean-machines-central/lean-machines/versions https://github.com/lean-machines-central.png https://reservoir.lean-lang.org/@lean-phys-community/Notes/dependencies https://github.com/lean-phys-community.png https://reservoir.lean-lang.org/@lean-phys-community/Notes/versions https://github.com/lean-phys-community.png https://reservoir.lean-lang.org/@leanprover-community/aesop/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/aesop/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/aesop/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/auto/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/auto/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/batteries/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/batteries/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/ConNF/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/ConNF/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Duper/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Duper/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Duper/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/flt-regular/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/flt-regular/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Game/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Game/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/importGraph/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/importGraph/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/importGraph/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/iris/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/iris/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/lean4-metaprogramming-book/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/lean4-metaprogramming-book/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/LeanSearchClient/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/LeanSearchClient/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/llm/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/llm/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mathlib/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mathlib/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mathlib/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mathport/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mathport/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mil/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/mil/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/PhysLean/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/PhysLean/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/plausible/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/plausible/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Project/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Project/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/proofwidgets/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/proofwidgets/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Qq/dependents https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/Qq/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/SphereEversion/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/SphereEversion/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/tutorials4/dependencies https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-community/tutorials4/versions https://github.com/leanprover-community.png https://reservoir.lean-lang.org/@leanprover-cookbook/Cookbook/dependencies https://github.com/leanprover-cookbook.png https://reservoir.lean-lang.org/@leanprover-cookbook/Cookbook/versions https://github.com/leanprover-cookbook.png https://reservoir.lean-lang.org/@leanprover/Cli/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/Cli/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/cslib/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/cslib/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/cslib/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/doc-gen4/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/doc-gen4/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/doc-gen4/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/KLR/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/KLR/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/KLR/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/lean4checker/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/lean4export/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/lean4export/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/leanbv/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/leanbv/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/leanInk/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/LeanSAT/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/LeanSAT/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/leansqlite/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/leansqlite/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/LeroyCompilerVerificationCourse/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/LeroyCompilerVerificationCourse/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/lnsym/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/lnsym/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/pantograph/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/pantograph/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/sampcert/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/sampcert/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/SHerLOC/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/SHerLOC/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/SHerLOC/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/subverso/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/subverso/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/TenCert/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/TenCert/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/TensorLib/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/TensorLib/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/TensorLib/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/verso-manual/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/verso-manual/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/verso/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/verso/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/verso/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/versowebcomponents/dependencies https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/versowebcomponents/dependents https://github.com/leanprover.png https://reservoir.lean-lang.org/@leanprover/versowebcomponents/versions https://github.com/leanprover.png https://reservoir.lean-lang.org/@LeastAuthority/STIR/dependencies https://github.com/LeastAuthority.png https://reservoir.lean-lang.org/@LeastAuthority/STIR/versions https://github.com/LeastAuthority.png https://reservoir.lean-lang.org/@lecopivo/lean4-karray/versions https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lecopivo/leanblas/dependencies https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lecopivo/leanblas/dependents https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lecopivo/leanblas/versions https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lecopivo/scilean/dependencies https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lecopivo/scilean/versions https://github.com/lecopivo.png https://reservoir.lean-lang.org/@lenianiva/Prismriver/versions https://github.com/lenianiva.png https://reservoir.lean-lang.org/@lf-lang/reactor-model/dependencies https://github.com/lf-lang.png https://reservoir.lean-lang.org/@lf-lang/reactor-model/versions https://github.com/lf-lang.png https://reservoir.lean-lang.org/@LieLean/Lie/dependencies https://github.com/LieLean.png https://reservoir.lean-lang.org/@LieLean/Lie/versions https://github.com/LieLean.png https://reservoir.lean-lang.org/@lindy-labs/aegis/dependencies https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@lindy-labs/aegis/dependents https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@lindy-labs/aegis/versions https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@lindy-labs/corelib_verification/dependencies https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@lindy-labs/corelib_verification/dependents https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@lindy-labs/corelib_verification/versions https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@lindy-labs/WadrayVerification/dependencies https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@lindy-labs/WadrayVerification/versions https://github.com/lindy-labs.png https://reservoir.lean-lang.org/@Linyxus/capless/dependencies https://github.com/Linyxus.png https://reservoir.lean-lang.org/@Linyxus/capless/versions https://github.com/Linyxus.png https://reservoir.lean-lang.org/@loganrjmurphy/lib/dependencies https://github.com/loganrjmurphy.png https://reservoir.lean-lang.org/@loganrjmurphy/lib/versions https://github.com/loganrjmurphy.png https://reservoir.lean-lang.org/@logical-intelligence/Putnam/dependencies https://github.com/logical-intelligence.png https://reservoir.lean-lang.org/@logical-intelligence/Putnam/versions https://github.com/logical-intelligence.png https://reservoir.lean-lang.org/@lua-vr/BirkhoffErgodicThm/dependencies https://github.com/lua-vr.png https://reservoir.lean-lang.org/@lua-vr/BirkhoffErgodicThm/versions https://github.com/lua-vr.png https://reservoir.lean-lang.org/@Luka-O/polya-enumeration-theorem/dependencies https://github.com/Luka-O.png https://reservoir.lean-lang.org/@Luka-O/polya-enumeration-theorem/versions https://github.com/Luka-O.png https://reservoir.lean-lang.org/@m4lvin/Gossip/dependencies https://github.com/m4lvin.png https://reservoir.lean-lang.org/@m4lvin/Gossip/versions https://github.com/m4lvin.png https://reservoir.lean-lang.org/@m4lvin/pdl/dependencies https://github.com/m4lvin.png https://reservoir.lean-lang.org/@m4lvin/pdl/versions https://github.com/m4lvin.png https://reservoir.lean-lang.org/@madvorak/chomsky/dependencies https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/chomsky/dependents https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/chomsky/versions https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/duality/dependencies https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/duality/dependents https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/duality/versions https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/fecssk/dependencies https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/fecssk/versions https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/Koch/versions https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/readLean/dependencies https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/readLean/versions https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/thue/dependencies https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/thue/versions https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/vcsp/dependencies https://github.com/madvorak.png https://reservoir.lean-lang.org/@madvorak/vcsp/versions https://github.com/madvorak.png https://reservoir.lean-lang.org/@Maokami/vqc_in_lean/dependencies https://github.com/Maokami.png https://reservoir.lean-lang.org/@Maokami/vqc_in_lean/versions https://github.com/Maokami.png https://reservoir.lean-lang.org/@marcellop71/redisLean/dependencies https://github.com/marcellop71.png https://reservoir.lean-lang.org/@marcellop71/redisLean/versions https://github.com/marcellop71.png https://reservoir.lean-lang.org/@marcusrossel/egg/dependencies https://github.com/marcusrossel.png https://reservoir.lean-lang.org/@marcusrossel/egg/versions https://github.com/marcusrossel.png https://reservoir.lean-lang.org/@marcusrossel/lean_snakebird/dependencies https://github.com/marcusrossel.png https://reservoir.lean-lang.org/@marcusrossel/lean_snakebird/versions https://github.com/marcusrossel.png https://reservoir.lean-lang.org/@marcusrossel/VerifiedCompiler/versions https://github.com/marcusrossel.png https://reservoir.lean-lang.org/@mariovagomarzal/HigherCategoryTheory/dependencies https://github.com/mariovagomarzal.png https://reservoir.lean-lang.org/@mariovagomarzal/HigherCategoryTheory/versions https://github.com/mariovagomarzal.png https://reservoir.lean-lang.org/@matematiflo/leanproject/dependencies https://github.com/matematiflo.png https://reservoir.lean-lang.org/@matematiflo/leanproject/versions https://github.com/matematiflo.png https://reservoir.lean-lang.org/@matematiflo/SumSq/dependencies https://github.com/matematiflo.png https://reservoir.lean-lang.org/@matematiflo/SumSq/versions https://github.com/matematiflo.png https://reservoir.lean-lang.org/@math-inc/FormalQualBench/dependencies https://github.com/math-inc.png https://reservoir.lean-lang.org/@math-inc/FormalQualBench/versions https://github.com/math-inc.png https://reservoir.lean-lang.org/@math-xmum/Game/dependencies https://github.com/math-xmum.png https://reservoir.lean-lang.org/@math-xmum/Game/versions https://github.com/math-xmum.png https://reservoir.lean-lang.org/@math-xmum/GameTheory/dependencies https://github.com/math-xmum.png https://reservoir.lean-lang.org/@math-xmum/GameTheory/versions https://github.com/math-xmum.png https://reservoir.lean-lang.org/@mdbrnowski/Apportionmentlib/dependencies https://github.com/mdbrnowski.png https://reservoir.lean-lang.org/@mdbrnowski/Apportionmentlib/versions https://github.com/mdbrnowski.png https://reservoir.lean-lang.org/@metamatematico/metamath_prover/dependencies https://github.com/metamatematico.png https://reservoir.lean-lang.org/@metamatematico/metamath_prover/versions https://github.com/metamatematico.png https://reservoir.lean-lang.org/@mhuisi/Uniq/versions https://github.com/mhuisi.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/EulerProducts/dependencies https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/EulerProducts/versions https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/Heights/dependencies https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/Heights/versions https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/Weights/dependencies https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@MichaelStollBayreuth/Weights/versions https://github.com/MichaelStollBayreuth.png https://reservoir.lean-lang.org/@mirefek/tactic-programming-beginner-guide/dependencies https://github.com/mirefek.png https://reservoir.lean-lang.org/@mirefek/tactic-programming-beginner-guide/versions https://github.com/mirefek.png https://reservoir.lean-lang.org/@misaka10987/archimedes/dependencies https://github.com/misaka10987.png https://reservoir.lean-lang.org/@misaka10987/archimedes/versions https://github.com/misaka10987.png https://reservoir.lean-lang.org/@mitchell-horner/ErdosStoneSimonovitsKovariSosTuran/dependencies https://github.com/mitchell-horner.png https://reservoir.lean-lang.org/@mitchell-horner/ErdosStoneSimonovitsKovariSosTuran/versions https://github.com/mitchell-horner.png https://reservoir.lean-lang.org/@mkaratarakis/HopfieldNet/dependencies https://github.com/mkaratarakis.png https://reservoir.lean-lang.org/@mkaratarakis/HopfieldNet/versions https://github.com/mkaratarakis.png https://reservoir.lean-lang.org/@mo271/FormalBook/dependencies https://github.com/mo271.png https://reservoir.lean-lang.org/@mo271/FormalBook/versions https://github.com/mo271.png https://reservoir.lean-lang.org/@model-checking/rust-lean-models/versions https://github.com/model-checking.png https://reservoir.lean-lang.org/@MohanadAhmed/LeanMathSigProc/dependencies https://github.com/MohanadAhmed.png https://reservoir.lean-lang.org/@MohanadAhmed/LeanMathSigProc/versions https://github.com/MohanadAhmed.png https://reservoir.lean-lang.org/@monsterkrampe/ExistentialRules/dependencies https://github.com/monsterkrampe.png https://reservoir.lean-lang.org/@monsterkrampe/ExistentialRules/versions https://github.com/monsterkrampe.png https://reservoir.lean-lang.org/@morganfshirley/CommComp/dependencies https://github.com/morganfshirley.png https://reservoir.lean-lang.org/@morganfshirley/CommComp/versions https://github.com/morganfshirley.png https://reservoir.lean-lang.org/@mortarsanjaya/IMOSLLean4/dependencies https://github.com/mortarsanjaya.png https://reservoir.lean-lang.org/@mortarsanjaya/IMOSLLean4/versions https://github.com/mortarsanjaya.png https://reservoir.lean-lang.org/@mrdouglasny/OSforGFF/dependencies https://github.com/mrdouglasny.png https://reservoir.lean-lang.org/@mrdouglasny/OSforGFF/versions https://github.com/mrdouglasny.png https://reservoir.lean-lang.org/@mseri/BET/dependencies https://github.com/mseri.png https://reservoir.lean-lang.org/@mseri/BET/versions https://github.com/mseri.png https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies https://github.com/mtoohey31.png https://reservoir.lean-lang.org/@mtoohey31/tabular-types/versions https://github.com/mtoohey31.png https://reservoir.lean-lang.org/@nasqret/fineqs/dependencies https://github.com/nasqret.png https://reservoir.lean-lang.org/@nasqret/fineqs/versions https://github.com/nasqret.png https://reservoir.lean-lang.org/@NethermindEth/CompPoly/dependencies https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/CompPoly/versions https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/evmyul/dependencies https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/evmyul/versions https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/ff/dependencies https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/ff/versions https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/FVIntmax/dependencies https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/FVIntmax/versions https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/plonky3-example/dependencies https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/plonky3-example/versions https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/risczero-fv/dependencies https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@NethermindEth/risczero-fv/versions https://github.com/NethermindEth.png https://reservoir.lean-lang.org/@niklasmohrin/LeanSeminar/dependencies https://github.com/niklasmohrin.png https://reservoir.lean-lang.org/@niklasmohrin/LeanSeminar/versions https://github.com/niklasmohrin.png https://reservoir.lean-lang.org/@nimarasekh/Formalization_SoSe25/dependencies https://github.com/nimarasekh.png https://reservoir.lean-lang.org/@nimarasekh/Formalization_SoSe25/versions https://github.com/nimarasekh.png https://reservoir.lean-lang.org/@nomeata/calcify/dependents https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/calcify/versions https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/loogle/dependencies https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/loogle/dependents https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/loogle/versions https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/memo-nat/dependencies https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/memo-nat/versions https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/wfinduct/dependencies https://github.com/nomeata.png https://reservoir.lean-lang.org/@nomeata/wfinduct/versions https://github.com/nomeata.png https://reservoir.lean-lang.org/@NUS-Math-Formalization/Game/dependencies https://github.com/NUS-Math-Formalization.png https://reservoir.lean-lang.org/@NUS-Math-Formalization/Game/versions https://github.com/NUS-Math-Formalization.png https://reservoir.lean-lang.org/@NyxFoundation/TopSingleLayer/dependencies https://github.com/NyxFoundation.png https://reservoir.lean-lang.org/@NyxFoundation/TopSingleLayer/versions https://github.com/NyxFoundation.png https://reservoir.lean-lang.org/@objectionary/phi-calculus/dependencies https://github.com/objectionary.png https://reservoir.lean-lang.org/@objectionary/phi-calculus/versions https://github.com/objectionary.png https://reservoir.lean-lang.org/@ocfnash/lie-classification/dependencies https://github.com/ocfnash.png https://reservoir.lean-lang.org/@ocfnash/lie-classification/versions https://github.com/ocfnash.png https://reservoir.lean-lang.org/@oliver-butterley/SpectralThm/dependencies https://github.com/oliver-butterley.png https://reservoir.lean-lang.org/@oliver-butterley/SpectralThm/versions https://github.com/oliver-butterley.png https://reservoir.lean-lang.org/@oOo0oOo/LeanDoomed/versions https://github.com/oOo0oOo.png https://reservoir.lean-lang.org/@oOo0oOo/LeanRPC/dependencies https://github.com/oOo0oOo.png https://reservoir.lean-lang.org/@oOo0oOo/LeanRPC/versions https://github.com/oOo0oOo.png https://reservoir.lean-lang.org/@oOo0oOo/LeanSage/dependencies https://github.com/oOo0oOo.png https://reservoir.lean-lang.org/@oOo0oOo/LeanSage/versions https://github.com/oOo0oOo.png https://reservoir.lean-lang.org/@oOo0oOo/LeanSerde/dependents https://github.com/oOo0oOo.png https://reservoir.lean-lang.org/@oOo0oOo/LeanSerde/versions https://github.com/oOo0oOo.png https://reservoir.lean-lang.org/@opencompl/fp-lean/versions https://github.com/opencompl.png https://reservoir.lean-lang.org/@opencompl/SSA/dependencies https://github.com/opencompl.png https://reservoir.lean-lang.org/@opencompl/SSA/versions https://github.com/opencompl.png https://reservoir.lean-lang.org/@optimisticexquisite/lean-rsa-project/dependencies https://github.com/optimisticexquisite.png https://reservoir.lean-lang.org/@optimisticexquisite/lean-rsa-project/versions https://github.com/optimisticexquisite.png https://reservoir.lean-lang.org/@optsuite/optlib/dependencies https://github.com/optsuite.png https://reservoir.lean-lang.org/@optsuite/optlib/versions https://github.com/optsuite.png https://reservoir.lean-lang.org/@or4nge19/MCMC/dependencies https://github.com/or4nge19.png https://reservoir.lean-lang.org/@or4nge19/MCMC/versions https://github.com/or4nge19.png https://reservoir.lean-lang.org/@or4nge19/NeuralNetworks/dependencies https://github.com/or4nge19.png https://reservoir.lean-lang.org/@or4nge19/NeuralNetworks/versions https://github.com/or4nge19.png https://reservoir.lean-lang.org/@Oscario0/LeanBisection/dependencies https://github.com/Oscario0.png https://reservoir.lean-lang.org/@Oscario0/LeanBisection/versions https://github.com/Oscario0.png https://reservoir.lean-lang.org/@pandaman64/lean-regex/versions https://github.com/pandaman64.png https://reservoir.lean-lang.org/@pannous/Hyper/dependencies https://github.com/pannous.png https://reservoir.lean-lang.org/@pannous/Hyper/versions https://github.com/pannous.png https://reservoir.lean-lang.org/@Paper-Proof/paperproof/dependencies https://github.com/Paper-Proof.png https://reservoir.lean-lang.org/@Paper-Proof/paperproof/dependents https://github.com/Paper-Proof.png https://reservoir.lean-lang.org/@Paper-Proof/paperproof/versions https://github.com/Paper-Proof.png https://reservoir.lean-lang.org/@parabamoghv/Symm/dependencies https://github.com/parabamoghv.png https://reservoir.lean-lang.org/@parabamoghv/Symm/versions https://github.com/parabamoghv.png https://reservoir.lean-lang.org/@PatrickMassot/checkdecls/dependents https://github.com/PatrickMassot.png https://reservoir.lean-lang.org/@PatrickMassot/checkdecls/versions https://github.com/PatrickMassot.png https://reservoir.lean-lang.org/@PatrickMassot/glimpseOfLean/dependencies https://github.com/PatrickMassot.png https://reservoir.lean-lang.org/@PatrickMassot/glimpseOfLean/versions https://github.com/PatrickMassot.png https://reservoir.lean-lang.org/@PatrickMassot/verbose/dependencies https://github.com/PatrickMassot.png https://reservoir.lean-lang.org/@PatrickMassot/verbose/versions https://github.com/PatrickMassot.png https://reservoir.lean-lang.org/@Paul-Lez/PersistentDecomp/dependencies https://github.com/Paul-Lez.png https://reservoir.lean-lang.org/@Paul-Lez/PersistentDecomp/versions https://github.com/Paul-Lez.png https://reservoir.lean-lang.org/@paulcadman/lean-effects/dependencies https://github.com/paulcadman.png https://reservoir.lean-lang.org/@paulcadman/lean-effects/versions https://github.com/paulcadman.png https://reservoir.lean-lang.org/@paulch42/leanSpec/dependencies https://github.com/paulch42.png https://reservoir.lean-lang.org/@paulch42/leanSpec/versions https://github.com/paulch42.png https://reservoir.lean-lang.org/@pawelsberg/LeanDirectoryBrowser/versions https://github.com/pawelsberg.png https://reservoir.lean-lang.org/@peabrainiac/CatDG/dependencies https://github.com/peabrainiac.png https://reservoir.lean-lang.org/@peabrainiac/CatDG/versions https://github.com/peabrainiac.png https://reservoir.lean-lang.org/@PeterKementzey/Graph/versions https://github.com/PeterKementzey.png https://reservoir.lean-lang.org/@Philogy/remco-mul/dependencies https://github.com/Philogy.png https://reservoir.lean-lang.org/@Philogy/remco-mul/versions https://github.com/Philogy.png https://reservoir.lean-lang.org/@physicslib/Physicslib/dependencies https://github.com/physicslib.png https://reservoir.lean-lang.org/@physicslib/Physicslib/versions https://github.com/physicslib.png https://reservoir.lean-lang.org/@PierreSenellart/provenance/dependencies https://github.com/PierreSenellart.png https://reservoir.lean-lang.org/@PierreSenellart/provenance/versions https://github.com/PierreSenellart.png https://reservoir.lean-lang.org/@pimpale/LLM.lean/dependencies https://github.com/pimpale.png https://reservoir.lean-lang.org/@pimpale/LLM.lean/versions https://github.com/pimpale.png https://reservoir.lean-lang.org/@pitmonticone/CHANGE/dependencies https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/CHANGE/versions https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/Hochster/dependencies https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/Hochster/versions https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/ItaLean/dependencies https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/ItaLean/versions https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/LeanInVienna/dependencies https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/LeanInVienna/versions https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/NewProject/dependencies https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@pitmonticone/NewProject/versions https://github.com/pitmonticone.png https://reservoir.lean-lang.org/@PnVDiscord/software-foundations-lean/versions https://github.com/PnVDiscord.png https://reservoir.lean-lang.org/@pnwamk/lean4-assert-command/versions https://github.com/pnwamk.png https://reservoir.lean-lang.org/@powdr-labs/leanr/dependencies https://github.com/powdr-labs.png https://reservoir.lean-lang.org/@powdr-labs/leanr/versions https://github.com/powdr-labs.png https://reservoir.lean-lang.org/@project-numina/lib/dependencies https://github.com/project-numina.png https://reservoir.lean-lang.org/@project-numina/lib/versions https://github.com/project-numina.png https://reservoir.lean-lang.org/@proofs-and-programs/PfsProgs25/dependencies https://github.com/proofs-and-programs.png https://reservoir.lean-lang.org/@proofs-and-programs/PfsProgs25/versions https://github.com/proofs-and-programs.png https://reservoir.lean-lang.org/@provables/sequencelib/dependencies https://github.com/provables.png https://reservoir.lean-lang.org/@provables/sequencelib/versions https://github.com/provables.png https://reservoir.lean-lang.org/@provables/special-numbers/dependencies https://github.com/provables.png https://reservoir.lean-lang.org/@provables/special-numbers/versions https://github.com/provables.png https://reservoir.lean-lang.org/@quangvdao/Zklib/dependencies https://github.com/quangvdao.png https://reservoir.lean-lang.org/@quangvdao/Zklib/versions https://github.com/quangvdao.png https://reservoir.lean-lang.org/@rah4927/lean-dojo-mew/dependencies https://github.com/rah4927.png https://reservoir.lean-lang.org/@rah4927/lean-dojo-mew/versions https://github.com/rah4927.png https://reservoir.lean-lang.org/@rahul3613/miniF2F-lean4/dependencies https://github.com/rahul3613.png https://reservoir.lean-lang.org/@rahul3613/miniF2F-lean4/versions https://github.com/rahul3613.png https://reservoir.lean-lang.org/@rahul3613/proofNet-lean4/dependencies https://github.com/rahul3613.png https://reservoir.lean-lang.org/@rahul3613/proofNet-lean4/versions https://github.com/rahul3613.png https://reservoir.lean-lang.org/@rami3l/plfl/dependencies https://github.com/rami3l.png https://reservoir.lean-lang.org/@rami3l/plfl/versions https://github.com/rami3l.png https://reservoir.lean-lang.org/@reilabs/proven-zk/dependencies https://github.com/reilabs.png https://reservoir.lean-lang.org/@reilabs/proven-zk/versions https://github.com/reilabs.png https://reservoir.lean-lang.org/@remimimimimi/leansec/dependencies https://github.com/remimimimimi.png https://reservoir.lean-lang.org/@remimimimimi/leansec/versions https://github.com/remimimimimi.png https://reservoir.lean-lang.org/@RemyDegenne/BrownianMotion/dependencies https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/BrownianMotion/versions https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/clt/dependencies https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/clt/versions https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/kolmogorov_extension4/dependencies https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/kolmogorov_extension4/dependents https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/kolmogorov_extension4/versions https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/LeanBandits/dependencies https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/LeanBandits/versions https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/testing_lower_bounds/dependencies https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@RemyDegenne/testing_lower_bounds/versions https://github.com/RemyDegenne.png https://reservoir.lean-lang.org/@riccardobrasca/FLT3/dependencies https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/FLT3/versions https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/Kaplansky4/dependencies https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/Kaplansky4/versions https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/lFTCM2024/dependencies https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/lFTCM2024/versions https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/math2001/dependencies https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/math2001/versions https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/Numbers/dependencies https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/Numbers/versions https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/SDG/dependencies https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@riccardobrasca/SDG/versions https://github.com/riccardobrasca.png https://reservoir.lean-lang.org/@Rickerd1234/RelationalAlgebra/dependencies https://github.com/Rickerd1234.png https://reservoir.lean-lang.org/@Rickerd1234/RelationalAlgebra/versions https://github.com/Rickerd1234.png https://reservoir.lean-lang.org/@RikHeurter/BscThesisFormalisation/dependencies https://github.com/RikHeurter.png https://reservoir.lean-lang.org/@RikHeurter/BscThesisFormalisation/versions https://github.com/RikHeurter.png https://reservoir.lean-lang.org/@risc0/risc0-lean4/dependencies https://github.com/risc0.png https://reservoir.lean-lang.org/@risc0/risc0-lean4/versions https://github.com/risc0.png https://reservoir.lean-lang.org/@rkirov/category-theory-in-context-lean/dependencies https://github.com/rkirov.png https://reservoir.lean-lang.org/@rkirov/category-theory-in-context-lean/versions https://github.com/rkirov.png https://reservoir.lean-lang.org/@roos-j/BooleanFun/dependencies https://github.com/roos-j.png https://reservoir.lean-lang.org/@roos-j/BooleanFun/versions https://github.com/roos-j.png https://reservoir.lean-lang.org/@runbikeswim/lean-semver/versions https://github.com/runbikeswim.png https://reservoir.lean-lang.org/@rupakm/leslie/dependencies https://github.com/rupakm.png https://reservoir.lean-lang.org/@rupakm/leslie/versions https://github.com/rupakm.png https://reservoir.lean-lang.org/@rzrn/GroundZero/versions https://github.com/rzrn.png https://reservoir.lean-lang.org/@SamuelSchlesinger/sensitivity/dependencies https://github.com/SamuelSchlesinger.png https://reservoir.lean-lang.org/@SamuelSchlesinger/sensitivity/versions https://github.com/SamuelSchlesinger.png https://reservoir.lean-lang.org/@SamuelSchlesinger/shannon-entropy/dependencies https://github.com/SamuelSchlesinger.png https://reservoir.lean-lang.org/@SamuelSchlesinger/shannon-entropy/versions https://github.com/SamuelSchlesinger.png https://reservoir.lean-lang.org/@schergen-org/leansi/versions https://github.com/schergen-org.png https://reservoir.lean-lang.org/@SchrodingerZhu/hashbrown4lean/versions https://github.com/SchrodingerZhu.png https://reservoir.lean-lang.org/@SchrodingerZhu/lean-gccjit/dependencies https://github.com/SchrodingerZhu.png https://reservoir.lean-lang.org/@SchrodingerZhu/lean-gccjit/versions https://github.com/SchrodingerZhu.png https://reservoir.lean-lang.org/@sciencraft/LeanCat/dependencies https://github.com/sciencraft.png https://reservoir.lean-lang.org/@sciencraft/LeanCat/versions https://github.com/sciencraft.png https://reservoir.lean-lang.org/@sdiehl/ZeroToQED/dependencies https://github.com/sdiehl.png https://reservoir.lean-lang.org/@sdiehl/ZeroToQED/versions https://github.com/sdiehl.png https://reservoir.lean-lang.org/@Seasawher/import-all/versions https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/Lean Book/dependencies https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/Lean Book/versions https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mathlib4-help/dependencies https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mathlib4-help/versions https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mdgen/dependencies https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mdgen/dependents https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mdgen/versions https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mk-exercise/dependencies https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mk-exercise/dependents https://github.com/Seasawher.png https://reservoir.lean-lang.org/@Seasawher/mk-exercise/versions https://github.com/Seasawher.png https://reservoir.lean-lang.org/@ShangtongZhang/RL-Theory/dependencies https://github.com/ShangtongZhang.png https://reservoir.lean-lang.org/@ShangtongZhang/RL-Theory/versions https://github.com/ShangtongZhang.png https://reservoir.lean-lang.org/@Shreyas4991/DGAlgorithms/dependencies https://github.com/Shreyas4991.png https://reservoir.lean-lang.org/@Shreyas4991/DGAlgorithms/versions https://github.com/Shreyas4991.png https://reservoir.lean-lang.org/@shunghsiyu/toy-verifier/versions https://github.com/shunghsiyu.png https://reservoir.lean-lang.org/@siddhartha-gadgil/lean-loris/dependencies https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/lean-loris/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/leanaide/dependencies https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/leanaide/dependents https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/leanaide/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanAideTools/dependents https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanAideTools/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanLangur/dependencies https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanLangur/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanLion/dependencies https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/LeanLion/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/MetaExamples/dependencies https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/MetaExamples/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/pnP2023/dependencies https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/pnP2023/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/Polylean/dependencies https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/Polylean/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/saturn/dependencies https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@siddhartha-gadgil/saturn/versions https://github.com/siddhartha-gadgil.png https://reservoir.lean-lang.org/@sinhp/hottlean/dependencies https://github.com/sinhp.png https://reservoir.lean-lang.org/@sinhp/hottlean/versions https://github.com/sinhp.png https://reservoir.lean-lang.org/@sinhp/leanFibredCategories/dependencies https://github.com/sinhp.png https://reservoir.lean-lang.org/@sinhp/leanFibredCategories/versions https://github.com/sinhp.png https://reservoir.lean-lang.org/@smmercuri/adele-ring_locally-compact/dependencies https://github.com/smmercuri.png https://reservoir.lean-lang.org/@smmercuri/adele-ring_locally-compact/versions https://github.com/smmercuri.png https://reservoir.lean-lang.org/@somombo/quicksort/dependencies https://github.com/somombo.png https://reservoir.lean-lang.org/@somombo/quicksort/versions https://github.com/somombo.png https://reservoir.lean-lang.org/@somombo/swaps-perm/dependencies https://github.com/somombo.png https://reservoir.lean-lang.org/@somombo/swaps-perm/versions https://github.com/somombo.png https://reservoir.lean-lang.org/@sorrachai/FAA2025/dependencies https://github.com/sorrachai.png https://reservoir.lean-lang.org/@sorrachai/FAA2025/versions https://github.com/sorrachai.png https://reservoir.lean-lang.org/@SrGaabriel/lapis/dependencies https://github.com/SrGaabriel.png https://reservoir.lean-lang.org/@SrGaabriel/lapis/dependents https://github.com/SrGaabriel.png https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions https://github.com/SrGaabriel.png https://reservoir.lean-lang.org/@SrGaabriel/soma-workspace/dependencies https://github.com/SrGaabriel.png https://reservoir.lean-lang.org/@SrGaabriel/soma-workspace/versions https://github.com/SrGaabriel.png https://reservoir.lean-lang.org/@starkware-libs/verification/dependencies https://github.com/starkware-libs.png https://reservoir.lean-lang.org/@starkware-libs/verification/versions https://github.com/starkware-libs.png https://reservoir.lean-lang.org/@strata-org/Strata/dependencies https://github.com/strata-org.png https://reservoir.lean-lang.org/@strata-org/Strata/versions https://github.com/strata-org.png https://reservoir.lean-lang.org/@sunblaze-ucb/verina/dependencies https://github.com/sunblaze-ucb.png https://reservoir.lean-lang.org/@sunblaze-ucb/verina/versions https://github.com/sunblaze-ucb.png https://reservoir.lean-lang.org/@suomela/Distributed2Coloring/dependencies https://github.com/suomela.png https://reservoir.lean-lang.org/@suomela/Distributed2Coloring/versions https://github.com/suomela.png https://reservoir.lean-lang.org/@sven-manthe/borel_det/dependencies https://github.com/sven-manthe.png https://reservoir.lean-lang.org/@sven-manthe/borel_det/versions https://github.com/sven-manthe.png https://reservoir.lean-lang.org/@sysghent/riddle-proofs/dependencies https://github.com/sysghent.png https://reservoir.lean-lang.org/@sysghent/riddle-proofs/versions https://github.com/sysghent.png https://reservoir.lean-lang.org/@T-Brick/controlflow/dependencies https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/controlflow/versions https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/DateTime/versions https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/lean2wasm/dependencies https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/lean2wasm/versions https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/numbers/dependents https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/numbers/versions https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/wasm/dependencies https://github.com/T-Brick.png https://reservoir.lean-lang.org/@T-Brick/wasm/versions https://github.com/T-Brick.png https://reservoir.lean-lang.org/@tani/LiterateLean/versions https://github.com/tani.png https://reservoir.lean-lang.org/@tdzl2003/geometry/dependencies https://github.com/tdzl2003.png https://reservoir.lean-lang.org/@tdzl2003/geometry/versions https://github.com/tdzl2003.png https://reservoir.lean-lang.org/@teorth/analysis/versions https://github.com/teorth.png https://reservoir.lean-lang.org/@teorth/equational_theories/dependencies https://github.com/teorth.png https://reservoir.lean-lang.org/@teorth/equational_theories/versions https://github.com/teorth.png https://reservoir.lean-lang.org/@teorth/expdb/dependencies https://github.com/teorth.png https://reservoir.lean-lang.org/@teorth/expdb/versions https://github.com/teorth.png https://reservoir.lean-lang.org/@teorth/PFR/dependencies https://github.com/teorth.png https://reservoir.lean-lang.org/@teorth/PFR/versions https://github.com/teorth.png https://reservoir.lean-lang.org/@thefundamentaltheor3m/SpherePacking/dependencies https://github.com/thefundamentaltheor3m.png https://reservoir.lean-lang.org/@thefundamentaltheor3m/SpherePacking/versions https://github.com/thefundamentaltheor3m.png https://reservoir.lean-lang.org/@themathqueen/Monlib/dependencies https://github.com/themathqueen.png https://reservoir.lean-lang.org/@themathqueen/Monlib/versions https://github.com/themathqueen.png https://reservoir.lean-lang.org/@Timeroot/computableReal/dependencies https://github.com/Timeroot.png https://reservoir.lean-lang.org/@Timeroot/computableReal/versions https://github.com/Timeroot.png https://reservoir.lean-lang.org/@Timeroot/quantumInfo/dependencies https://github.com/Timeroot.png https://reservoir.lean-lang.org/@Timeroot/quantumInfo/versions https://github.com/Timeroot.png https://reservoir.lean-lang.org/@todbeibrot/mrdi/dependencies https://github.com/todbeibrot.png https://reservoir.lean-lang.org/@todbeibrot/mrdi/versions https://github.com/todbeibrot.png https://reservoir.lean-lang.org/@Trequetrum/Game/dependencies https://github.com/Trequetrum.png https://reservoir.lean-lang.org/@Trequetrum/Game/versions https://github.com/Trequetrum.png https://reservoir.lean-lang.org/@TristanCacqueray/advent-of-lean/dependencies https://github.com/TristanCacqueray.png https://reservoir.lean-lang.org/@TristanCacqueray/advent-of-lean/versions https://github.com/TristanCacqueray.png https://reservoir.lean-lang.org/@TristanCacqueray/gen-zmk/dependencies https://github.com/TristanCacqueray.png https://reservoir.lean-lang.org/@TristanCacqueray/gen-zmk/versions https://github.com/TristanCacqueray.png https://reservoir.lean-lang.org/@tsurumi-yizhou/SPG/dependencies https://github.com/tsurumi-yizhou.png https://reservoir.lean-lang.org/@tsurumi-yizhou/SPG/versions https://github.com/tsurumi-yizhou.png https://reservoir.lean-lang.org/@tydeu/alloy/dependents https://github.com/tydeu.png https://reservoir.lean-lang.org/@tydeu/alloy/versions https://github.com/tydeu.png https://reservoir.lean-lang.org/@tydeu/itertools/versions https://github.com/tydeu.png https://reservoir.lean-lang.org/@tydeu/partax/versions https://github.com/tydeu.png https://reservoir.lean-lang.org/@ufmg-smite/smt/dependencies https://github.com/ufmg-smite.png https://reservoir.lean-lang.org/@ufmg-smite/smt/dependents https://github.com/ufmg-smite.png https://reservoir.lean-lang.org/@ufmg-smite/smt/versions https://github.com/ufmg-smite.png https://reservoir.lean-lang.org/@ulfjack/ryu/dependencies https://github.com/ulfjack.png https://reservoir.lean-lang.org/@ulfjack/ryu/versions https://github.com/ulfjack.png https://reservoir.lean-lang.org/@urkud/SardMoreira/dependencies https://github.com/urkud.png https://reservoir.lean-lang.org/@urkud/SardMoreira/versions https://github.com/urkud.png https://reservoir.lean-lang.org/@utensil/GinacLean/versions https://github.com/utensil.png https://reservoir.lean-lang.org/@utensil/LeanBlueprintExample/dependencies https://github.com/utensil.png https://reservoir.lean-lang.org/@utensil/LeanBlueprintExample/versions https://github.com/utensil.png https://reservoir.lean-lang.org/@ValorZard/lean-sdl-test/dependencies https://github.com/ValorZard.png https://reservoir.lean-lang.org/@ValorZard/lean-sdl-test/versions https://github.com/ValorZard.png https://reservoir.lean-lang.org/@ValorZard/SDL3/dependents https://github.com/ValorZard.png https://reservoir.lean-lang.org/@ValorZard/SDL3/versions https://github.com/ValorZard.png https://reservoir.lean-lang.org/@varosi/bitmap/dependencies https://github.com/varosi.png https://reservoir.lean-lang.org/@varosi/bitmap/versions https://github.com/varosi.png https://reservoir.lean-lang.org/@vasnesterov/HadwigerNelson/dependencies https://github.com/vasnesterov.png https://reservoir.lean-lang.org/@vasnesterov/HadwigerNelson/versions https://github.com/vasnesterov.png https://reservoir.lean-lang.org/@vbeffara/rMT4/dependencies https://github.com/vbeffara.png https://reservoir.lean-lang.org/@vbeffara/rMT4/versions https://github.com/vbeffara.png https://reservoir.lean-lang.org/@VCA-EPFL/graphiti/dependencies https://github.com/VCA-EPFL.png https://reservoir.lean-lang.org/@VCA-EPFL/graphiti/versions https://github.com/VCA-EPFL.png https://reservoir.lean-lang.org/@VCA-EPFL/leanses/versions https://github.com/VCA-EPFL.png https://reservoir.lean-lang.org/@verified-optimization/CvxLean/dependencies https://github.com/verified-optimization.png https://reservoir.lean-lang.org/@verified-optimization/CvxLean/versions https://github.com/verified-optimization.png https://reservoir.lean-lang.org/@Verified-zkEVM/Arklib/dependencies https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/Arklib/versions https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/Clean/dependencies https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/Clean/versions https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/CompPoly/dependencies https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/CompPoly/dependents https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/CompPoly/versions https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/VCVio/dependencies https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/VCVio/dependents https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verified-zkEVM/VCVio/versions https://github.com/Verified-zkEVM.png https://reservoir.lean-lang.org/@Verilean/sparkle/dependencies https://github.com/Verilean.png https://reservoir.lean-lang.org/@Verilean/sparkle/versions https://github.com/Verilean.png https://reservoir.lean-lang.org/@verse-lab/Loom/dependencies https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/Loom/dependents https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/Loom/versions https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/ssreflect/dependencies https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/ssreflect/versions https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/veil/dependencies https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/veil/versions https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/Velvet/dependencies https://github.com/verse-lab.png https://reservoir.lean-lang.org/@verse-lab/Velvet/versions https://github.com/verse-lab.png https://reservoir.lean-lang.org/@vihdzp/CombinatorialGames/dependencies https://github.com/vihdzp.png https://reservoir.lean-lang.org/@vihdzp/CombinatorialGames/versions https://github.com/vihdzp.png https://reservoir.lean-lang.org/@vihdzp/Rubik/dependencies https://github.com/vihdzp.png https://reservoir.lean-lang.org/@vihdzp/Rubik/versions https://github.com/vihdzp.png https://reservoir.lean-lang.org/@vikraman/event-structures/dependencies https://github.com/vikraman.png https://reservoir.lean-lang.org/@vikraman/event-structures/versions https://github.com/vikraman.png https://reservoir.lean-lang.org/@vltanh/lean4-analysis-tao/dependencies https://github.com/vltanh.png https://reservoir.lean-lang.org/@vltanh/lean4-analysis-tao/versions https://github.com/vltanh.png https://reservoir.lean-lang.org/@VTrelat/ZFLean/dependencies https://github.com/VTrelat.png https://reservoir.lean-lang.org/@VTrelat/ZFLean/versions https://github.com/VTrelat.png https://reservoir.lean-lang.org/@weiran-sun/PDE/dependencies https://github.com/weiran-sun.png https://reservoir.lean-lang.org/@weiran-sun/PDE/versions https://github.com/weiran-sun.png https://reservoir.lean-lang.org/@wellecks/llmstep/dependencies https://github.com/wellecks.png https://reservoir.lean-lang.org/@wellecks/llmstep/versions https://github.com/wellecks.png https://reservoir.lean-lang.org/@wellecks/ntptutorial/dependencies https://github.com/wellecks.png https://reservoir.lean-lang.org/@wellecks/ntptutorial/versions https://github.com/wellecks.png https://reservoir.lean-lang.org/@wupr/order-p-q/dependencies https://github.com/wupr.png https://reservoir.lean-lang.org/@wupr/order-p-q/versions https://github.com/wupr.png https://reservoir.lean-lang.org/@WuProver/groebner/dependencies https://github.com/WuProver.png https://reservoir.lean-lang.org/@WuProver/groebner/dependents https://github.com/WuProver.png https://reservoir.lean-lang.org/@WuProver/groebner/versions https://github.com/WuProver.png https://reservoir.lean-lang.org/@WuProver/MonomialOrderedPolynomial/dependencies https://github.com/WuProver.png https://reservoir.lean-lang.org/@WuProver/MonomialOrderedPolynomial/versions https://github.com/WuProver.png https://reservoir.lean-lang.org/@wvhulle/ennreal-arith/dependencies https://github.com/wvhulle.png https://reservoir.lean-lang.org/@wvhulle/ennreal-arith/dependents https://github.com/wvhulle.png https://reservoir.lean-lang.org/@wvhulle/ennreal-arith/versions https://github.com/wvhulle.png https://reservoir.lean-lang.org/@Xiyou-Wu/RiemannianGeometry/dependencies https://github.com/Xiyou-Wu.png https://reservoir.lean-lang.org/@Xiyou-Wu/RiemannianGeometry/versions https://github.com/Xiyou-Wu.png https://reservoir.lean-lang.org/@YaelDillies/AddCombi/dependencies https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/AddCombi/versions https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/APAP/dependencies https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/APAP/dependents https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/APAP/versions https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/ChandraFurstLipton/dependencies https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/ChandraFurstLipton/versions https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/LeanCamCombi/dependencies https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/LeanCamCombi/versions https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/MiscYD/dependencies https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/MiscYD/versions https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/Toric/dependencies https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@YaelDillies/Toric/versions https://github.com/YaelDillies.png https://reservoir.lean-lang.org/@yangky11/lean4-example/versions https://github.com/yangky11.png https://reservoir.lean-lang.org/@yangky11/miniF2F-lean4/dependencies https://github.com/yangky11.png https://reservoir.lean-lang.org/@yangky11/miniF2F-lean4/versions https://github.com/yangky11.png https://reservoir.lean-lang.org/@YellPika/quasi-borel-spaces/dependencies https://github.com/YellPika.png https://reservoir.lean-lang.org/@YellPika/quasi-borel-spaces/versions https://github.com/YellPika.png https://reservoir.lean-lang.org/@YijunYuan/HarderNarasimhan/dependencies https://github.com/YijunYuan.png https://reservoir.lean-lang.org/@YijunYuan/HarderNarasimhan/versions https://github.com/YijunYuan.png https://reservoir.lean-lang.org/@YnirPaz/PCF/dependencies https://github.com/YnirPaz.png https://reservoir.lean-lang.org/@YnirPaz/PCF/versions https://github.com/YnirPaz.png https://reservoir.lean-lang.org/@yuma-mizuno/lean-math-workshop/dependencies https://github.com/yuma-mizuno.png https://reservoir.lean-lang.org/@yuma-mizuno/lean-math-workshop/versions https://github.com/yuma-mizuno.png https://reservoir.lean-lang.org/@zkcrypto/cryptolib/dependencies https://github.com/zkcrypto.png https://reservoir.lean-lang.org/@zkcrypto/cryptolib/versions https://github.com/zkcrypto.png https://reservoir.lean-lang.org/@zksecurity/EvmAsm/dependencies https://github.com/zksecurity.png https://reservoir.lean-lang.org/@zksecurity/EvmAsm/versions https://github.com/zksecurity.png