chore: switch CI to Netlify #29
tydeu
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
Annotations
119 errors and 5 warnings
|
Testbed / Build javra/iit
Process completed with exit code 1.
|
|
Testbed / Build kmill/lean4-raytracer
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Blake3.lean
Process completed with exit code 1.
|
|
Testbed / Build avigad/lamr
Process completed with exit code 1.
|
|
Testbed / Build marcusrossel/model-checking
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Ipld.lean
Process completed with exit code 1.
|
|
Testbed / Build arthurpaulino/NumLean
Process completed with exit code 1.
|
|
Testbed / Build arthurpaulino/LeanMySQL
Process completed with exit code 1.
|
|
Testbed / Build marcusrossel/lean-snakebird
Process completed with exit code 1.
|
|
Testbed / Build cipher1024/lean4-prog
Process completed with exit code 1.
|
|
Testbed / Build lecopivo/lean4-karray
Process completed with exit code 1.
|
|
Testbed / Build joehendrix/lean-arith-solver
Process completed with exit code 1.
|
|
Testbed / Build Anderssorby/SDL.lean
Process completed with exit code 1.
|
|
Testbed / Build crabbo-rave/Soup
Process completed with exit code 1.
|
|
Testbed / Build arthurpaulino/LeanREPL
Process completed with exit code 1.
|
|
Testbed / Build Ferinko/LeanAStar
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Http.lean
Process completed with exit code 1.
|
|
Testbed / Build JamesGallicchio/LeanColls
Process completed with exit code 1.
|
|
Testbed / Build tydeu/lean4-alloy
Process completed with exit code 1.
|
|
Testbed / Build xubaiw/Reservoir.lean
Process completed with exit code 1.
|
|
Testbed / Build FWuermse/lean-postgres
Process completed with exit code 1.
|
|
Testbed / Build avigad/mathematics_in_lean_source
Process completed with exit code 1.
|
|
Testbed / Build Vtec234/npm-widget
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/ZKSnark.lean
Process completed with exit code 1.
|
|
Testbed / Build opencompl/egg-tactic-code
Process completed with exit code 1.
|
|
Testbed / Build opencompl/lean-mlir-semantics
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Wasm.lean
Process completed with exit code 1.
|
|
Testbed / Build arthurpaulino/FxyLang
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/yatima
Process completed with exit code 1.
|
|
Testbed / Build IPDSnelting/tba-2022
Process completed with exit code 1.
|
|
Testbed / Build T-Brick/c0deine
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/lean4-metaprogramming-book
Process completed with exit code 1.
|
|
Testbed / Build fischerman/awesome-dashboards
Process completed with exit code 1.
|
|
Testbed / Build tydeu/folktale
Process completed with exit code 1.
|
|
Testbed / Build ammkrn/timelib
Process completed with exit code 1.
|
|
Testbed / Build Kha/do-supplement
Process completed with exit code 1.
|
|
Testbed / Build meoowers/ash
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/straume
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Lurk.lean
Process completed with exit code 1.
|
|
Testbed / Build BartoszPiotrowski/lean-premise-selection
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Poseidon.lean
Process completed with exit code 1.
|
|
Testbed / Build jpablo/zenith
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Megaparsec.lean
Process completed with exit code 1.
|
|
Testbed / Build PatrickMassot/NNG4
Process completed with exit code 1.
|
|
Testbed / Build PatrickMassot/lean4-game-server
Process completed with exit code 1.
|
|
Testbed / Build lephe/lean4-rewriting
Process completed with exit code 1.
|
|
Testbed / Build verified-optimization/CvxLean
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Vero
Process completed with exit code 1.
|
|
Testbed / Build matheusanmo/lean4-fmc
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/RustFFI.lean
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/YatimaStdLib.lean
Process completed with exit code 1.
|
|
Testbed / Build djvelleman/HTPILeanPackage
Process completed with exit code 1.
|
|
Testbed / Build lecopivo/SciLean
Process completed with exit code 1.
|
|
Testbed / Build Odomontois/advent2022-lean
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/Bellanova.lean
Process completed with exit code 1.
|
|
Testbed / Build proost-assistant/ProostLean
Process completed with exit code 1.
|
|
Testbed / Build girving/ray
Process completed with exit code 1.
|
|
Testbed / Build alexkassil/natural_number_game_lean4
Process completed with exit code 1.
|
|
Testbed / Build lurk-lab/FFaCiL.lean
Process completed with exit code 1.
|
|
Testbed / Build ufmg-smite/lean-smt
Process completed with exit code 1.
|
|
Testbed / Build risc0/risc0-lean4
Process completed with exit code 1.
|
|
Testbed / Build JamesGallicchio/LeanSAT
Process completed with exit code 1.
|
|
Testbed / Build KislyjKisel/Raylib.lean
Process completed with exit code 1.
|
|
Testbed / Build alexkeizer/QpfTypes
Process completed with exit code 1.
|
|
Testbed / Build paulch42/lean-spec
Process completed with exit code 1.
|
|
Testbed / Build leanprover/lean4export
Process completed with exit code 1.
|
|
Testbed / Build KisaraBlue/ec-tate-lean
Process completed with exit code 1.
|
|
Testbed / Build madvorak/lean-mam
Process completed with exit code 1.
|
|
Testbed / Build Deducteam/lean2dk
Process completed with exit code 1.
|
|
Testbed / Build knowsys/Formale-Systeme-in-LEAN
Process completed with exit code 1.
|
|
Testbed / Build AliasQli/waveforce
Process completed with exit code 1.
|
|
Testbed / Build negiizhao/Algorithm
Process completed with exit code 1.
|
|
Testbed / Build smorel394/TS1
Process completed with exit code 1.
|
|
Testbed / Build adamtopaz/CopenhagenMasterclass2023
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/llm
Process completed with exit code 1.
|
|
Testbed / Build reilabs/proven-zk
Process completed with exit code 1.
|
|
Testbed / Build AdrienChampion/safeIdx
Process completed with exit code 1.
|
|
Testbed / Build aalistairr/ps-lean
Process completed with exit code 1.
|
|
Testbed / Build fpvandoorn/LogicColloquiumTutorial
Process completed with exit code 1.
|
|
Testbed / Build leanprover-community/NNG4
Process completed with exit code 1.
|
|
Testbed / Build Linyxus/capture-calculus.lean
Process completed with exit code 1.
|
|
Testbed / Build digama0/oleandump
Process completed with exit code 1.
|
|
Testbed / Build yuma-mizuno/lean-math-workshop
Process completed with exit code 1.
|
|
Testbed / Build T-Brick/lean-wasm
Process completed with exit code 1.
|
|
Testbed / Build brandon-sisler/Homotopy-Lifting-Bro
Process completed with exit code 1.
|
|
Testbed / Build PatrickMassot/GlimpseOfLean
Process completed with exit code 1.
|
|
Testbed / Build hargoniX/socket.lean
Process completed with exit code 1.
|
|
Testbed / Build 0art0/lean-slides
Process completed with exit code 1.
|
|
Testbed / Build meoowers/rinha
Process completed with exit code 1.
|
|
Testbed / Build meoowers/melp
Process completed with exit code 1.
|
|
Testbed / Build hhu-adam/Robo
Process completed with exit code 1.
|
|
Testbed / Build CBirkbeck/ModularForms_Lean4
Process completed with exit code 1.
|
|
Testbed / Build siddhartha-gadgil/LeanAide
Process completed with exit code 1.
|
|
Testbed / Build ImperialCollegeLondon/M1F-explained
Process completed with exit code 1.
|
|
Testbed / Build AdrienChampion/collChoSoWel
Process completed with exit code 1.
|
|
Testbed / Build SchrodingerZhu/lean-gccjit
Process completed with exit code 1.
|
|
Testbed / Build opencompl/lean-mlir
Process completed with exit code 1.
|
|
Testbed / Build kevinsullivan/cs2120f23
Process completed with exit code 1.
|
|
Testbed / Build T-Brick/ControlFlow
Process completed with exit code 1.
|
|
Testbed / Build lean-dojo/LeanInfer
Process completed with exit code 139.
|
|
Testbed / Build iehality/lean4-logic
Process completed with exit code 1.
|
|
Testbed / Build SchrodingerZhu/LeanGccBackend
Process completed with exit code 1.
|
|
Testbed / Build leanprover/lean4checker
Process completed with exit code 1.
|
|
Testbed / Build Formal-Mathematics/formalization-of-mathematics
Process completed with exit code 1.
|
|
Testbed / Build ianjauslin-rutgers/pythagoras4
Process completed with exit code 1.
|
|
Testbed / Build ydewit/lean-souffle
Process completed with exit code 1.
|
|
Testbed / Build fpvandoorn/LeanCourse23
Process completed with exit code 1.
|
|
Testbed / Build kuruczgy/lean-vulkan
Process completed with exit code 1.
|
|
Testbed / Build bicmr-ai4math/spectral-sequence
Process completed with exit code 1.
|
|
Testbed / Build celsobonutti/rinha
Process completed with exit code 1.
|
|
Testbed / Build hargoniX/nest-slimcheck
Process completed with exit code 1.
|
|
Testbed / Build JLimperg/regensburg-itp-school-2023
Process completed with exit code 1.
|
|
Testbed / Build KislyjKisel/lean4-gameOfLife
Process completed with exit code 1.
|
|
Testbed / Build rami3l/plfl
Process completed with exit code 1.
|
|
Testbed / Build lean-ja/tactic-cheetsheet
Process completed with exit code 1.
|
|
Testbed / Build lftcm2023/lftcm2023
Process completed with exit code 1.
|
|
Testbed / Build teorth/symmetric_project
Process completed with exit code 1.
|
|
Testbed / Build madvorak/fecssk
Process completed with exit code 1.
|
|
Testbed / Build optimisticexquisite/lean-rsa-project
Process completed with exit code 1.
|
|
Pages / Deploy
Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.
|
|
Pages / Deploy
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Pages / Deploy
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Pages / Deploy
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Pages / Deploy
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
0art0-lean--slides
Expired
|
198 KB |
|
|
AdrienChampion-collChoSoWel
Expired
|
8 Bytes |
|
|
AdrienChampion-safeIdx
Expired
|
250 KB |
|
|
AliasQli-waveforce
Expired
|
8 Bytes |
|
|
Anderssorby-SDL.lean
Expired
|
8 Bytes |
|
|
BartoszPiotrowski-lean--premise--selection
Expired
|
8 Bytes |
|
|
CBirkbeck-ModularForms_Lean4
Expired
|
8 Bytes |
|
|
Deducteam-lean2dk
Expired
|
8 Bytes |
|
|
DragonSlayerXavier-Classical--Mechanics--Lean
Expired
|
22.5 KB |
|
|
FWuermse-lean--postgres
Expired
|
8 Bytes |
|
|
FWuermse-lean4--sql--utils
Expired
|
8 Bytes |
|
|
Ferinko-LeanAStar
Expired
|
8 Bytes |
|
|
Formal--Mathematics-formalization--of--mathematics
Expired
|
632 KB |
|
|
IPDSnelting-tba--2022
Expired
|
8 Bytes |
|
|
ImperialCollegeLondon-M1F--explained
Expired
|
3.84 MB |
|
|
ImperialCollegeLondon-group--theory--experiments
Expired
|
13.3 KB |
|
|
JLimperg-elan--cleanup
Expired
|
59.9 MB |
|
|
JLimperg-regensburg--itp--school--2023
Expired
|
2.56 MB |
|
|
JamesGallicchio-LeanColls
Expired
|
8 Bytes |
|
|
JamesGallicchio-LeanSAT
Expired
|
8 Bytes |
|
|
Kha-do--supplement
Expired
|
8 Bytes |
|
|
KisaraBlue-ec--tate--lean
Expired
|
1.16 MB |
|
|
KislyjKisel-Raylib.lean
Expired
|
8 Bytes |
|
|
KislyjKisel-lean4--gameOfLife
Expired
|
8 Bytes |
|
|
Linyxus-capture--calculus.lean
Expired
|
8 Bytes |
|
|
MichaelStollBayreuth-Weights
Expired
|
5.23 MB |
|
|
MohanadAhmed-LeanMathSigProc
Expired
|
1.26 MB |
|
|
Odomontois-advent2022--lean
Expired
|
8 Bytes |
|
|
PatrickMassot-GlimpseOfLean
Expired
|
8.82 KB |
|
|
PatrickMassot-NNG4
Expired
|
8 Bytes |
|
|
PatrickMassot-lean4--game--server
Expired
|
8 Bytes |
|
|
PeterKementzey-graph--library--for--lean4
Expired
|
8 Bytes |
|
|
RemyCiterin-DijkstraMonad
Expired
|
8 Bytes |
|
|
RemyCiterin-SeparationLogic
Expired
|
8 Bytes |
|
|
RemyDegenne-gaussian
Expired
|
14.4 KB |
|
|
SchrodingerZhu-LeanGccBackend
Expired
|
8 Bytes |
|
|
SchrodingerZhu-lean--gccjit
Expired
|
8 Bytes |
|
|
T--Brick-ControlFlow
Expired
|
8 Bytes |
|
|
T--Brick-c0deine
Expired
|
742 KB |
|
|
T--Brick-lean--wasm
Expired
|
8 Bytes |
|
|
Trebor--Huang-elementary
Expired
|
579 KB |
|
|
UofSC--Spring--2023--SCHC--411--H01-notes
Expired
|
70.3 MB |
|
|
Vtec234-npm--widget
Expired
|
8 Bytes |
|
|
YaelDillies-LeanCamCombi
Expired
|
13 MB |
|
|
aalistairr-ps--lean
Expired
|
12.9 MB |
|
|
adamtopaz-CopenhagenMasterclass2023
Expired
|
2.81 MB |
|
|
adamtopaz-hw_template
Expired
|
14.4 KB |
|
|
adamtopaz-lean_grader
Expired
|
65.4 MB |
|
|
ah1112-synthetic_euclid_4
Expired
|
11.1 MB |
|
|
alexkassil-natural_number_game_lean4
Expired
|
8 Bytes |
|
|
alexkeizer-QpfTypes
Expired
|
8 Bytes |
|
|
algebraic--sofia-soda
Expired
|
8 Bytes |
|
|
ammkrn-printiest
Expired
|
3.51 MB |
|
|
ammkrn-timelib
Expired
|
8 Bytes |
|
|
andrejbauer-lean2sexp
Expired
|
65.6 MB |
|
|
arthurpaulino-FxyLang
Expired
|
8 Bytes |
|
|
arthurpaulino-LeanMusic
Expired
|
8 Bytes |
|
|
arthurpaulino-LeanMySQL
Expired
|
8 Bytes |
|
|
arthurpaulino-LeanREPL
Expired
|
8 Bytes |
|
|
arthurpaulino-NumLean
Expired
|
8 Bytes |
|
|
arthurpaulino-viper
Expired
|
60.8 MB |
|
|
avigad-lamr
Expired
|
8 Bytes |
|
|
avigad-lean--auto
Expired
|
164 MB |
|
|
avigad-mathematics_in_lean_source
Expired
|
11.6 KB |
|
|
avigad-verification_demo
Expired
|
90.2 MB |
|
|
aziis98-lean--codespace
Expired
|
5.25 MB |
|
|
bicmr--ai4math-spectral--sequence
Expired
|
14.1 KB |
|
|
bollu-lean4--entemology
Expired
|
234 KB |
|
|
brandon--sisler-Homotopy--Lifting--Bro
Expired
|
8 Bytes |
|
|
brown--cs22-CS22--Lean--2023
Expired
|
62 MB |
|
|
celsobonutti-rinha
Expired
|
3.89 MB |
|
|
cipher1024-lean4--prog
Expired
|
8 Bytes |
|
|
crabbo--rave-Soup
Expired
|
8 Bytes |
|
|
dannypsnl-violet
Expired
|
78 MB |
|
|
digama0-lean4lean
Expired
|
87.6 MB |
|
|
digama0-mm--lean4
Expired
|
65.8 MB |
|
|
digama0-oleandump
Expired
|
5.44 MB |
|
|
djvelleman-HTPILeanPackage
Expired
|
8 Bytes |
|
|
dwrensha-compfiles
Expired
|
156 MB |
|
|
dwrensha-lean4--maze
Expired
|
1.94 MB |
|
|
eric--wieser-lean--matrix--cookbook
Expired
|
5.84 MB |
|
|
fgdorais-lean4--parser
Expired
|
7.62 MB |
|
|
fgdorais-lean4--unicode--basic
Expired
|
16.2 MB |
|
|
fischerman-awesome--dashboards
Expired
|
37.9 KB |
|
|
forked--from--1kasper-ground_zero
Expired
|
50.1 MB |
|
|
forked--from--1kasper-lean--vcpu
Expired
|
8 Bytes |
|
|
forked--from--1kasper-lean4--categories
Expired
|
7.16 MB |
|
|
fpvandoorn-LeanCourse23
Expired
|
8 Bytes |
|
|
fpvandoorn-LogicColloquiumTutorial
Expired
|
8.82 KB |
|
|
gabriel--fallen-bidirectional--demo
Expired
|
8 Bytes |
|
|
gebner-oleanparser
Expired
|
61.1 MB |
|
|
girving-ray
Expired
|
946 KB |
|
|
grhkm21-lean4
Expired
|
66.4 MB |
|
|
hargoniX-Flame
Expired
|
59.9 MB |
|
|
hargoniX-cpdt--lean
Expired
|
8 Bytes |
|
|
hargoniX-nest--core
Expired
|
1.5 MB |
|
|
hargoniX-nest--slimcheck
Expired
|
8 Bytes |
|
|
hargoniX-socket.lean
Expired
|
8 Bytes |
|
|
haruhisa--enomoto-mathlib4--all--tactics
Expired
|
22.1 KB |
|
|
hhu--adam-Robo
Expired
|
161 KB |
|
|
ianjauslin--rutgers-pythagoras4
Expired
|
8 Bytes |
|
|
iehality-lean4--logic
Expired
|
26.6 KB |
|
|
index
Expired
|
72.5 KB |
|
|
javra-iit
Expired
|
8 Bytes |
|
|
jjdishere-EG
Expired
|
12.1 MB |
|
|
joehendrix-lean--arith--solver
Expired
|
8 Bytes |
|
|
joehendrix-lean--sat--checker
Expired
|
8 Bytes |
|
|
jpablo-zenith
Expired
|
8 Bytes |
|
|
katydid-proofs
Expired
|
8.57 MB |
|
|
kbuzzard-IISc--experiments
Expired
|
89 KB |
|
|
kevinsullivan-cs2120f23
Expired
|
8 Bytes |
|
|
kmill-lean4--raytracer
Expired
|
8 Bytes |
|
|
knowsys-Formale--Systeme--in--LEAN
Expired
|
1.6 MB |
|
|
kuruczgy-lean--vulkan
Expired
|
8 Bytes |
|
|
langfield-Cheat.lean
Expired
|
8 Bytes |
|
|
lean--dojo-LeanInfer
Expired
|
8 Bytes |
|
|
lean--ja-tactic--cheetsheet
Expired
|
363 KB |
|
|
leanprover--community-NNG4
Expired
|
929 KB |
|
|
leanprover--community-ProofWidgets4
Expired
|
25.9 MB |
|
|
leanprover--community-aesop
Expired
|
64.3 MB |
|
|
leanprover--community-con--nf
Expired
|
41 MB |
|
|
leanprover--community-duper
Expired
|
208 MB |
|
|
leanprover--community-flt--regular
Expired
|
18.6 MB |
|
|
leanprover--community-iris--lean
Expired
|
23.3 MB |
|
|
leanprover--community-lean4--metaprogramming--book
Expired
|
5.95 MB |
|
|
leanprover--community-llm
Expired
|
2.78 MB |
|
|
leanprover--community-mathport
Expired
|
353 MB |
|
|
leanprover--community-quote4
Expired
|
16.1 MB |
|
|
leanprover--community-repl
Expired
|
70.6 MB |
|
|
leanprover--community-tutorials4
Expired
|
1.63 MB |
|
|
leanprover-LeanInk
Expired
|
73.6 MB |
|
|
leanprover-doc--gen4
Expired
|
86.1 MB |
|
|
leanprover-lean4--cli
Expired
|
7.26 MB |
|
|
leanprover-lean4checker
Expired
|
66 MB |
|
|
leanprover-lean4export
Expired
|
1.41 MB |
|
|
leanprover-std4
Expired
|
180 MB |
|
|
lecopivo-SciLean
Expired
|
48.1 MB |
|
|
lecopivo-lean4--karray
Expired
|
8 Bytes |
|
|
lephe-lean4--rewriting
Expired
|
8 Bytes |
|
|
lf--lang-reactor--lean
Expired
|
8 Bytes |
|
|
lftcm2023-lftcm2023
Expired
|
3.73 MB |
|
|
lurk--lab-Bellanova.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Blake3.lean
Expired
|
8 Bytes |
|
|
lurk--lab-FFaCiL.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Http.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Ipld.lean
Expired
|
8 Bytes |
|
|
lurk--lab-LSpec
Expired
|
5.05 MB |
|
|
lurk--lab-Lurk.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Megaparsec.lean
Expired
|
168 KB |
|
|
lurk--lab-Poseidon.lean
Expired
|
8 Bytes |
|
|
lurk--lab-RustFFI.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Spark.lean
Expired
|
8 Bytes |
|
|
lurk--lab-Vero
Expired
|
8 Bytes |
|
|
lurk--lab-Wasm.lean
Expired
|
8 Bytes |
|
|
lurk--lab-YatimaStdLib.lean
Expired
|
4.77 MB |
|
|
lurk--lab-ZKSnark.lean
Expired
|
8 Bytes |
|
|
lurk--lab-straume
Expired
|
8 Bytes |
|
|
lurk--lab-yatima
Expired
|
8 Bytes |
|
|
madvorak-fecssk
Expired
|
351 KB |
|
|
madvorak-lean--mam
Expired
|
824 KB |
|
|
manifest
Expired
|
77.3 KB |
|
|
marcusrossel-lean--snakebird
Expired
|
8 Bytes |
|
|
marcusrossel-model--checking
Expired
|
8 Bytes |
|
|
matheusanmo-lean4--fmc
Expired
|
8 Bytes |
|
|
matrix
Expired
|
64.4 KB |
|
|
meoowers-ash
Expired
|
8 Bytes |
|
|
meoowers-melp
Expired
|
8 Bytes |
|
|
meoowers-rinha
Expired
|
8 Bytes |
|
|
mhuisi-Uniq
Expired
|
62 MB |
|
|
mo271-formal_book
Expired
|
2.73 MB |
|
|
negiizhao-Algorithm
Expired
|
8 Bytes |
|
|
opencompl-egg--tactic--code
Expired
|
8 Bytes |
|
|
opencompl-lean--mlir
Expired
|
4.37 MB |
|
|
opencompl-lean--mlir--semantics
Expired
|
8 Bytes |
|
|
optimisticexquisite-lean--rsa--project
Expired
|
501 KB |
|
|
paulcadman-lean4--leetcode
Expired
|
65.7 MB |
|
|
paulch42-lean--spec
Expired
|
8 Bytes |
|
|
pnwamk-lean4--assert--command
Expired
|
8 Bytes |
|
|
proost--assistant-ProostLean
Expired
|
4.6 MB |
|
|
rami3l-plfl
Expired
|
1.92 KB |
|
|
reilabs-proven--zk
Expired
|
8 Bytes |
|
|
results
Expired
|
11.4 KB |
|
|
risc0-risc0--lean4
Expired
|
19.7 MB |
|
|
siddhartha--gadgil-LeanAide
Expired
|
190 MB |
|
|
siddhartha--gadgil-Polylean
Expired
|
6.17 MB |
|
|
siddhartha--gadgil-Saturn
Expired
|
6.72 MB |
|
|
siddhartha--gadgil-proofs--and--programs--2023
Expired
|
183 MB |
|
|
smorel394-TS1
Expired
|
8 Bytes |
|
|
suhr-tmath
Expired
|
8 Bytes |
|
|
teorth-symmetric_project
Expired
|
283 KB |
|
|
thejohncrafter-Catlib4
Expired
|
8 Bytes |
|
|
tydeu-folktale
Expired
|
8 Bytes |
|
|
tydeu-lean4--alloy
Expired
|
24.3 MB |
|
|
tydeu-lean4--itertools
Expired
|
650 KB |
|
|
ufmg--smite-lean--smt
Expired
|
19.7 MB |
|
|
user7230724-lean--projects4
Expired
|
8 Bytes |
|
|
verified--optimization-CvxLean
Expired
|
8 Bytes |
|
|
xubaiw-Reservoir.lean
Expired
|
8 Bytes |
|
|
xubaiw-Unicode.lean
Expired
|
93.7 MB |
|
|
xubaiw-csv
Expired
|
59.5 MB |
|
|
yangky11-LeanNDArrays
Expired
|
6.18 MB |
|
|
yangky11-lean4--example
Expired
|
19.4 KB |
|
|
ydewit-lean--souffle
Expired
|
4.97 MB |
|
|
yuma--mizuno-lean--math--workshop
Expired
|
8 Bytes |
|