Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
9,145 workflow runs
9,145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: create a let-expression for storing the context in cutsat proofs Check for copyright header #9149: Pull request #7139 opened by leodemoura
February 19, 2025 03:08 33s grind_cutsat_step4
grind_cutsat_step4
February 19, 2025 03:08 33s
fix: avoid nonexistent noConfusions in injection, contradiction Check for copyright header #9148: Pull request #6731 synchronize by jrr6
February 18, 2025 22:42 33s jrr6:contradiction-disjunction
jrr6:contradiction-disjunction
February 18, 2025 22:42 33s
feat: proof production for divisibility constraint solver in grind Check for copyright header #9147: Pull request #7138 opened by leodemoura
February 18, 2025 22:12 32s grind_cutsat_step3
grind_cutsat_step3
February 18, 2025 22:12 32s
chore: deprecate Array.get Check for copyright header #9146: Pull request #7132 synchronize by kim-em
February 18, 2025 21:48 31s array_get_internal
array_get_internal
February 18, 2025 21:48 31s
feat: verify fold/for variants for Hashmaps Check for copyright header #9145: Pull request #7137 opened by jt0202
February 18, 2025 18:53 36s jt0202:foldFor
jt0202:foldFor
February 18, 2025 18:53 36s
feat: smarter plugin loading Check for copyright header #9144: Pull request #7090 synchronize by tydeu
February 18, 2025 17:48 35s tydeu:dynlib-refactor
tydeu:dynlib-refactor
February 18, 2025 17:48 35s
feat: more robust server parallelism Check for copyright header #9143: Pull request #7087 synchronize by mhuisi
February 18, 2025 15:19 35s mhuisi:mhuisi/robust-language-server-parallelism
mhuisi:mhuisi/robust-language-server-parallelism
February 18, 2025 15:19 35s
feat: add BitVec.umulOverflow and BitVec.smulOverflow definitions and additional theorems Check for copyright header #9142: Pull request #6949 synchronize by luisacicolini
February 18, 2025 14:50 32s opencompl:overflow-mul-defs
opencompl:overflow-mul-defs
February 18, 2025 14:50 32s
feat: faster auto-completion Check for copyright header #9141: Pull request #7134 opened by mhuisi
February 18, 2025 14:33 32s mhuisi:mhuisi/is-incomplete-true
mhuisi:mhuisi/is-incomplete-true
February 18, 2025 14:33 32s
feat: try? to use fun_induction Check for copyright header #9140: Pull request #7082 synchronize by nomeata
February 18, 2025 13:17 35s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 13:17 35s
feat: try? to use fun_induction Check for copyright header #9139: Pull request #7082 synchronize by nomeata
February 18, 2025 13:16 31s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 13:16 31s
feat: try? to use fun_induction Check for copyright header #9138: Pull request #7082 synchronize by nomeata
February 18, 2025 13:02 31s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 13:02 31s
feat: try? to use fun_induction Check for copyright header #9137: Pull request #7082 synchronize by nomeata
February 18, 2025 13:01 32s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 13:01 32s
feat: try? to use fun_induction Check for copyright header #9136: Pull request #7082 synchronize by nomeata
February 18, 2025 12:59 31s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 12:59 31s
feat: try? to use fun_induction Check for copyright header #9135: Pull request #7082 synchronize by nomeata
February 18, 2025 12:58 31s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 12:58 31s
feat: IntX.abs Check for copyright header #9134: Pull request #7131 synchronize by TwoFX
February 18, 2025 12:54 35s markus/intx-abs
markus/intx-abs
February 18, 2025 12:54 35s
feat: IntX.abs Check for copyright header #9133: Pull request #7131 synchronize by TwoFX
February 18, 2025 12:53 31s markus/intx-abs
markus/intx-abs
February 18, 2025 12:53 31s
feat: verify toList for hash maps Check for copyright header #9132: Pull request #6954 synchronize by jt0202
February 18, 2025 12:42 29s jt0202:master
jt0202:master
February 18, 2025 12:42 29s
chore: deprecate Array.get Check for copyright header #9131: Pull request #7132 synchronize by kim-em
February 18, 2025 12:21 35s array_get_internal
array_get_internal
February 18, 2025 12:21 35s
feat: try? to use fun_induction Check for copyright header #9130: Pull request #7082 synchronize by nomeata
February 18, 2025 12:14 32s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 12:14 32s
feat: add BitVec.(getElem, getLsbD, getMsbD, msb)_smod theorems Check for copyright header #9129: Pull request #6986 synchronize by luisacicolini
February 18, 2025 12:07 28s opencompl:smod-bitblast
opencompl:smod-bitblast
February 18, 2025 12:07 28s
chore: deprecate Array.get Check for copyright header #9128: Pull request #7132 synchronize by kim-em
February 18, 2025 11:34 31s array_get_internal
array_get_internal
February 18, 2025 11:34 31s
feat: try: avoid expose_names before fun_induction if not necessary Check for copyright header #9127: Pull request #7133 opened by nomeata
February 18, 2025 11:29 33s joachim/try-funind-expose-names
joachim/try-funind-expose-names
February 18, 2025 11:29 33s
feat: try? to use fun_induction Check for copyright header #9126: Pull request #7082 synchronize by nomeata
February 18, 2025 11:20 32s joachim/funind-tactic-try
joachim/funind-tactic-try
February 18, 2025 11:20 32s
chore: deprecate Array.get Check for copyright header #9125: Pull request #7132 opened by kim-em
February 18, 2025 11:12 30s array_get_internal
array_get_internal
February 18, 2025 11:12 30s