Skip to content

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Sign in

Sign up

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

leanprover / reservoir Public

Notifications You must be signed in to change notification settings
Fork 2
Star 17

Code
Issues 7
Pull requests 1
Actions
Projects
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security
Insights

Scheduled Update

Scheduled Update #406

Sign in to view logs

Sign in to view logs

Scheduled Update

Scheduled Update #406

Summary
Jobs
- Setup
  
  Build RemyDegenne/kolmogorov_extension4
  
  Build leanprover-community/mathlib
  
  Build lean-dojo/LeanCopilot
  
  Build Paper-Proof/paperproof
  
  Build lecopivo/scilean
  
  Build ImperialCollegeLondon/FLT
  
  Build teorth/equational_theories
  
  Build leanprover-community/batteries
  
  Build leanprover-community/lean4-metaprogramming-book
  
  Build leanprover-community/aesop
  
  Build wellecks/ntptutorial
  
  Build ufmg-smite/smt
  
  Build teorth/PFR
  
  Build AlexKontorovich/PrimeNumberTheoremAnd
  
  Build ImperialCollegeLondon/formalising-mathematics-2024
  
  Build kmill/render
  
  Build cmu-l3/llmlean
  
  Build leanprover/verso
  
  Build argumentcomputer/yatima
  
  Build leanprover-community/Game
  
  Build leanprover-community/proofwidgets
  
  Build wellecks/llmstep
  
  Build dwrensha/compfiles
  
  Build PatrickMassot/glimpseOfLean
  
  Build google-deepmind/debate
  
  Build opencompl/SSA
  
  Build eric-wieser/matrix_cookbook
  
  Build HEPLean/HepLean
  
  Build FormalizedFormalLogic/foundation
  
  Build leanprover-community/auto
  
  Build loganrjmurphy/lib
  
  Build leanprover-community/Qq
  
  Build yuma-mizuno/lean-math-workshop
  
  Build leanprover/Cli
  
  Build leanprover-community/iris
  
  Build leanprover/doc-gen4
  
  Build leanprover/lnsym
  
  Build leanprover/sampcert
  
  Build nomeata/loogle
  
  Build leanprover-community/ConNF
  
  Build siddhartha-gadgil/leanaide
  
  Build lean-ja/Lean by Example
  
  Build risc0/risc0-lean4
  
  Build leanprover/leanInk
  
  Build leanprover-community/Duper
  
  Build frenzymath/jixia
  
  Build mo271/FormalBook
  
  Build starkware-libs/verification
  
  Build siddhartha-gadgil/saturn
  
  Build PatrickMassot/verbose
  
  Build leanprover-community/flt-regular
  
  Build BoltonBailey/formalSnarksProject
  
  Build tydeu/alloy
  
  Build leanprover/LeanSAT
  
  Build rami3l/plfl
  
  Build dwrensha/animate
  
  Build dwrensha/maze
  
  Build argumentcomputer/LSpec
  
  Build forked-from-1kasper/GroundZero
  
  Build NethermindEth/evmyul
  
  Build leanprover-community/mathport
  
  Build YaelDillies/LeanCamCombi
  
  Build joehendrix/lean-crypto
  
  Build fgdorais/Parser
  
  Build verified-optimization/CvxLean
  
  Build marcusrossel/egg
  
  Build emilyriehl/InfinityCosmos
  
  Build kim-em/lean-training-data
  
  Build optsuite/convex
  
  Build haruhisa-enomoto/mathlib4-all-tactics
  
  Build riccardobrasca/FLT3
  
  Build yangky11/miniF2F-lean4
  
  Build fpvandoorn/carleson
  
  Build leanprover-community/SphereEversion
  
  Build leanprover/verso-manual
  
  Build pitmonticone/Project
  
  Build reilabs/proven-zk
  
  Build argumentcomputer/Wasm.lean
  
  Build verse-lab/ssreflect
  
  Build JamesGallicchio/leancolls
  
  Build leanprover-community/tutorials4
  
  Build axiomed/Http
  
  Build alexkeizer/qpf
  
  Build FR-vdash-bot/algorithm
  
  Build leanprover-community/plausible
  
  Build vihdzp/Rubik
  
  Build leanprover-community/llm
  
  Build nomeata/calcify
  
  Build djvelleman/htpi
  
  Build argumentcomputer/Megaparsec.lean
  
  Build KislyjKisel/raylib
  
  Build quangvdao/Zklib
  
  Build hhu-adam/Game
  
  Build Anderssorby/SDL
  
  Build teorth/expdb
  
  Build girving/ray
  
  Build pandaman64/Regex
  
  Build rahul3613/proofNet-lean4
  
  Build T-Brick/wasm
  
  Build FormalSAT/lean-sat
  
  Build hargoniX/socket
  
  Build PeterKementzey/graph-library-for-lean4
  
  Build leanprover/lean4checker
  
  Build nomeata/wfinduct
  
  Build kovach/etch
  
  Build fpvandoorn/LeanCourse
  
  Build dtumad/VCVio
  
  Build leanprover/TensorLib
  
  Build arthurpaulino/LeanMySQL
  
  Build arthurpaulino/NumLean
  
  Build 0art0/lean-slides
  
  Build madvorak/readLean
  
  Build siddhartha-gadgil/MetaExamples
  
  Build T-Brick/lean2wasm
  
  Build YaelDillies/LeanAPAP
  
  Build Seasawher/mdgen
  
  Build leanprover/SHerLOC
  
  Build alexjbest/leaff
  
  Build arthurpaulino/FxyLang
  
  Build siddhartha-gadgil/lean-loris
  
  Build mortarsanjaya/IMOSLLean4
  
  Build kmill/LeanTeX
  
  Build Seasawher/mathlib4-help
  
  Build lean-ja/lean99
  
  Build dwrensha/tryAtEachStep
  
  Build katydid/katydid
  
  Build paulch42/leanSpec
  
  Build hargoniX/cpdt-lean
  
  Build madvorak/fecssk
  
  Build jsm28/AM
  
  Build awodey/joyalRepresentationTheorem
  
  Build Timeroot/quantumInfo
  
  Build dannypsnl/violet
  
  Build adomani/mA4N1
  
  Build lecopivo/lean4-karray
  
  Build leanprover/lean4export
  
  Build draperlaboratory/ELFSage
  
  Build arthurpaulino/LeanREPL
  
  Build T-Brick/DateTime
  
  Build ammkrn/Timelib
  
  Build yangky11/lean4-example
  
  Build paulcadman/raylean
  
  Build tydeu/itertools
  
  Build lindy-labs/aegis
  
  Build dupuisf/BibtexQuery
  
  Build leanprover/leanbv
  
  Build model-checking/rust-lean-models
  
  Build ImperialCollegeLondon/M1F-explained
  
  Build girving/interval
  
  Build andrejbauer/partial-combinatory-algebras
  
  Build abdoo8080/cvc5
  
  Build riccardobrasca/lFTCM2024
  
  Build ah1112/synthetic_euclid_4
  
  Build bergmannjg/Regex
  
  Build leanprover-community/LeanSearchClient
  
  Build Ivan-Sergeyev/Seymour
  
  Build dwrensha/Chess
  
  Build Trequetrum/Game
  
  Build FormalizedFormalLogic/arithmetization
  
  Build argumentcomputer/Http.lean
  
  Build argumentcomputer/RustFFI.lean
  
  Build DavePearce/LeanEVM
  
  Build algebraic-dev/Parse
  
  Build sven-manthe/borel_det
  
  Build Bergschaf/banach_tarski
  
  Build apnelson1/Matroid
  
  Build knowsys/formal_systems
  
  Build bergmannjg/Curl
  
  Build hargoniX/Flame
  
  Build Philogy/remco-mul
  
  Build argumentcomputer/FFaCiL.lean
  
  Build madvorak/vcsp
  
  Build pitmonticone/LeanInVienna
  
  Build FWuermse/Postgres
  
  Build gdncc/cryptography
  
  Build m4lvin/pdl
  
  Build MichaelStollBayreuth/EulerProducts
  
  Build glams-lean-2024/Formal2024
  
  Build jaalonso/Calculemus2
  
  Build rah4927/lean-dojo-mew
  
  Build vasnesterov/HadwigerNelson
  
  Build tydeu/partax
  
  Build fgdorais/UnicodeBasic
  
  Build pnwamk/lean4-assert-command
  
  Build leanprover-community/importGraph
  
  Build argumentcomputer/Lurk.lean
  
  Build argumentcomputer/Ipld.lean
  
  Build argumentcomputer/Poseidon.lean
  
  Build argumentcomputer/YatimaStdLib
  
  Build mhuisi/Uniq
  
  Build katydid/sadol
  
  Build arthurpaulino/LeanMusic
  
  Build arthurpaulino/viper
  
  Build siddhartha-gadgil/pnP2023
  
  Build RemyDegenne/testing_lower_bounds
  
  Build JamesGallicchio/Http
  
  Build alok/lean-inf
  
  Build ammkrn/printiest
  
  Build knowsys/certifyingDatalog
  
  Build adamtopaz/NodeGraph
  
  Build SchrodingerZhu/lean-gccjit
  
  Build Seasawher/mk-exercise
  
  Build argumentcomputer/ZKSnark.lean
  
  Build JLimperg/regensburg-itp-school-2023
  
  Build CAIMEOX/json-schema
  
  Build VCA-EPFL/leanses
  
  Build GasStationManager/CodeProofTheArena
  
  Build T-Brick/controlflow
  
  Build lean-machines-central/lean-machines
  
  Build hhu-adam/i18n
  
  Build pimpale/llm.lean
  
  Build fpvandoorn/bonnAnalysis
  
  Build fpvandoorn/HausdorffSchoolLean
  
  Build bergmannjg/time
  
  Build anurudhp/aoc2022
  
  Build ElifUskuplu/stlc
  
  Build FormalizedFormalLogic/incompleteness
  
  Build YnirPaz/PCF
  
  Build madvorak/chomsky
  
  Build madvorak/duality
  
  Build remimimimimi/leansec
  
  Build mseri/BET
  
  Build siddhartha-gadgil/Polylean
  
  Build andrejbauer/lean2sexp
  
  Build jtristan/UnicodeSkipListTable
  
  Build jtristan/UnicodeSkipListTableExample
  
  Build MichaelStollBayreuth/Weights
  
  Build hanwenzhu/primality-tests
  
  Build marcusrossel/lean_snakebird
  
  Build fpvandoorn/LogicColloquiumTutorial
  
  Build avigad/LeanSudoku
  
  Build Seasawher/Lean Book
  
  Build acmepjz/MD4Lean
  
  Build argumentcomputer/Straume
  
  Build argumentcomputer/Blake3.lean
  
  Build lf-lang/reactor-model
  
  Build utensil/GinacLean
  
  Build utensil/LeanBlueprintExample
  
  Build bridgekat/filter-game
  
  Build keilambda/ttfpi
  
  Build algebraic-dev/Colorized
  
  Build T-Brick/numbers
  
  Build JamesGallicchio/lean-openapi
  
  Build igrep/test
  
  Build morganfshirley/CommComp
  
  Build jeswr/RustFFI
  
  Build AdrienChampion/collChoSoWel
  
  Build matematiflo/leanproject
  
  Build Happyves/workshop
  
  Build rahul3613/miniF2F-lean4
  
  Build Seasawher/import-all
  
  Build somombo/quicksort
  
  Build AlexLoitzl/pumping_cfg
  
  Build TristanCacqueray/advent-of-lean
  
  Build leanprover/subverso
  
  Build leanprover/NKL
  
  Build argumentcomputer/OpenSSL.lean
  
  Build argumentcomputer/Vero
  
  Build Command-Master/pseudorandom
  
  Build vbeffara/rMT4
  
  Build AeneasVerif/tutorial
  
  Build NUS-Math-Formalization/Game
  
  Build goens/lost-pop-lean
  
  Build RemyDegenne/clt
  
  Build optimisticexquisite/lean-rsa-project
  
  Build keilambda/eocia-lean
  
  Build alexf91/lean4-ctypes
  
  Build lean-machines-central/lean-machines-examples
  
  Build KislyjKisel/pod
  
  Build hhu-adam/webeditor
  
  Build kmill/msri2023_graphs
  
  Build todbeibrot/mrdi
  
  Build YaelDillies/ChandraFurstLipton
  
  Build katzenpost/crypt_walker
  
  Build fpvandoorn/Seminar
  
  Build matematiflo/SumSq
  
  Build wupr/order-pq
  
  Build lindy-labs/corelib_verification
  
  Build kkaunda/Project
  
  Build avigad/VerificationDemo
  
  Build math-xmum/GameTheory
  
  Build adomani/advents
  
  Build SchrodingerZhu/hashbrown4lean
  
  Build Hagb/lean-groebner
  
  Build fgdorais/extra
  
  Build Izzimach/pteffects
  
  Build hargoniX/crup
  
  Build TristanCacqueray/gen-zmk
  
  Build anlucia/chromatic_polynomial
  
  Build leanprover/TenCert
  
  Build argumentcomputer/Spark.lean
  
  Build madvorak/Koch
  
  Build MohanadAhmed/LeanMathSigProc
  
  Build arademaker/delphin
  
  Build atlas-computing-org/coq_lean_translation
  
  Build jaalonso/Calculemus2_es
  
  Build austinletson/use-lean-standard-action-with-bare-project
  
  Build gsierra99/ExFormMathL4
  
  Build adamtopaz/lean_extras
  
  Build hwatheod/galeShapley
  
  Build Dominique-Lawson/lean_4
  
  Build fpvandoorn/sard
  
  Build AdrienChampion/safeIdx
  
  Build AdrienChampion/loadTerms
  
  Build dagurtomas/LeanCondensed
  
  Build lindy-labs/WadrayVerification
  
  Build niklasmohrin/LeanSeminar
  
  Build lean-ja/verso-manual
  
  Build Izzimach/lean-glfw
  
  Build Xiyou-Wu/RiemannianGeometry
  
  Build AlexBrodbelt/Game
  
  Build alma-n/Game
  
  Build argumentcomputer/Bellanova.lean
  
  Build argumentcomputer/Nova.lean
  
  Build FLDutchmann/selbergSieve
  
  Build ImperialCollegeLondon/IUM
  
  Build Maokami/vqc_in_lean
  
  Build madvorak/thue
  
  Build Joonas-vonlerber/Game
  
  Build pitmonticone/NewProject
  
  Build Shreyas4991/DGAlgorithms
  
  Build siddhartha-gadgil/LeanAideTools
  
  Build siddhartha-gadgil/LeanLion
  
  Build HannahSantos/FMCn_Lean
  
  Build jtristan/lffi
  
  Build functionally/Crypto
  
  Collect Results
  
  Save Results
- Bundle Manifest
  
  Build Site
  
  Deploy Site
Run details
- Usage
- Workflow file

Usage Workflow file

Annotations

1 warning

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Testbed / ... / Build haruhisa-enomoto/mathlib4-all-tactics

Testbed / Layer 1 / Build haruhisa-enomoto/mathlib4-all-tactics

succeeded Jan 2, 2025 in 1m 12s

Loading

Re-running jobs...

You can’t perform that action at this time.