Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,172 workflow runs
1,172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove Rsyntax from Conv docker-ci-for-pr #934: Pull request #1627 synchronize by ordinarymath
September 13, 2025 14:39 2h 22m 20s ordinarymath:remove_Rsyntax1
ordinarymath:remove_Rsyntax1
September 13, 2025 14:39 2h 22m 20s
Speedup SPECL on stdknl using explicit substitutions docker-ci-for-pr #933: Pull request #1653 opened by ordinarymath
September 13, 2025 14:27 2h 28m 34s ordinarymath:faster_SPECL
ordinarymath:faster_SPECL
September 13, 2025 14:27 2h 28m 34s
More alternative definitions of "convergence in distribution" docker-ci-for-pr #932: Pull request #1652 opened by binghe
September 13, 2025 02:48 2h 19m 34s binghe:converge_in_dist_alt
binghe:converge_in_dist_alt
September 13, 2025 02:48 2h 19m 34s
Remove Rsyntax from Conv docker-ci-for-pr #931: Pull request #1627 synchronize by ordinarymath
September 12, 2025 17:24 2h 17m 54s ordinarymath:remove_Rsyntax1
ordinarymath:remove_Rsyntax1
September 12, 2025 17:24 2h 17m 54s
tidy up location info printed for failed termination proofs docker-ci #1078: Commit 16c99ab pushed by konrad-slind
September 12, 2025 16:40 2h 16m 10s develop
develop
September 12, 2025 16:40 2h 16m 10s
[Refactor] conversions to use LAND_CONV docker-ci-for-pr #930: Pull request #1650 synchronize by ordinarymath
September 12, 2025 16:04 2h 21m 0s ordinarymath:conv_refactor
ordinarymath:conv_refactor
September 12, 2025 16:04 2h 21m 0s
[Refactor] Remove some uses of RJBConv docker-ci-for-pr #929: Pull request #1651 opened by ordinarymath
September 12, 2025 14:38 2h 25m 24s ordinarymath:arith_cleanup
ordinarymath:arith_cleanup
September 12, 2025 14:38 2h 25m 24s
[Refactor] conversions to use LAND_CONV docker-ci-for-pr #928: Pull request #1650 opened by ordinarymath
September 12, 2025 07:44 9m 20s ordinarymath:conv_refactor
ordinarymath:conv_refactor
September 12, 2025 07:44 9m 20s
Add location info to termination failure message docker-ci #1077: Commit 3ced62e pushed by konrad-slind
September 12, 2025 06:00 2h 27m 1s develop
develop
September 12, 2025 06:00 2h 27m 1s
Add more theorems to binary_ieee docker-ci #1076: Commit 233b7d6 pushed by mn200
September 12, 2025 05:21 2h 20m 20s develop
develop
September 12, 2025 05:21 2h 20m 20s
[transc] Add TAYLOR_THEOREM (proof based on MCLAURIN) docker-ci #1075: Commit 9d3a706 pushed by mn200
September 12, 2025 05:01 2h 21m 20s develop
develop
September 12, 2025 05:01 2h 21m 20s
[Refactor] some bad uses op_mem docker-ci-for-pr #927: Pull request #1649 opened by ordinarymath
September 12, 2025 03:24 2h 20m 15s ordinarymath:bad_op_mem
ordinarymath:bad_op_mem
September 12, 2025 03:24 2h 20m 15s
Higher Order Derivatives and Differentiability docker-ci-for-pr #926: Pull request #1646 synchronize by binghe
September 8, 2025 08:12 2h 22m 13s binghe:higher_differentiable
binghe:higher_differentiable
September 8, 2025 08:12 2h 22m 13s
Higher Order Derivatives and Differentiability docker-ci-for-pr #925: Pull request #1646 opened by binghe
September 8, 2025 06:44 2h 22m 2s binghe:higher_differentiable
binghe:higher_differentiable
September 8, 2025 06:44 2h 22m 2s
Alternative definitions of "convergence in distribution" (#1645) docker-ci #1074: Commit 5eb84bf pushed by mn200
September 8, 2025 05:21 2h 19m 13s develop
develop
September 8, 2025 05:21 2h 19m 13s
Document no_sig_docs in manual and next release notes docker-ci #1073: Commit e35c111 pushed by mn200
September 7, 2025 23:53 2h 15m 37s develop
develop
September 7, 2025 23:53 2h 15m 37s
[HolParser] Add no_sig_docs tag for Theory docker-ci-for-pr #924: Pull request #1633 synchronize by dnezam
September 7, 2025 08:54 2h 19m 47s dnezam:no-sig-docs
dnezam:no-sig-docs
September 7, 2025 08:54 2h 19m 47s
Alternative definitions of "convergence in distribution" docker-ci-for-pr #923: Pull request #1645 synchronize by binghe
September 7, 2025 05:40 2h 34m 29s binghe:converge_in_dist_alt_Lipschitz
binghe:converge_in_dist_alt_Lipschitz
September 7, 2025 05:40 2h 34m 29s
Alternative definitions of "convergence in distribution" docker-ci-for-pr #922: Pull request #1645 opened by binghe
September 7, 2025 02:13 2h 25m 32s binghe:converge_in_dist_alt_Lipschitz
binghe:converge_in_dist_alt_Lipschitz
September 7, 2025 02:13 2h 25m 32s
faster Sub_and_cond. docker-ci #1072: Commit cf76452 pushed by mn200
September 7, 2025 01:31 2h 20m 40s develop
develop
September 7, 2025 01:31 2h 20m 40s
speedup Solve_ineqs docker-ci #1071: Commit c0ea173 pushed by mn200
September 7, 2025 01:30 2h 17m 54s develop
develop
September 7, 2025 01:30 2h 17m 54s
Strengthening Bayes rule by removing an unnecessary precondition. Whi… docker-ci #1070: Commit 4067465 pushed by mn200
September 7, 2025 01:29 2h 18m 57s develop
develop
September 7, 2025 01:29 2h 18m 57s
Speedup spec all docker-ci-for-pr #921: Pull request #1625 synchronize by ordinarymath
September 6, 2025 07:38 2h 27m 44s ordinarymath:speedup_SPEC_ALL
ordinarymath:speedup_SPEC_ALL
September 6, 2025 07:38 2h 27m 44s
speedup Solve_ineqs docker-ci-for-pr #920: Pull request #1639 opened by ordinarymath
September 5, 2025 12:50 2h 20m 28s ordinarymath:speedup_VAR_ELIM
ordinarymath:speedup_VAR_ELIM
September 5, 2025 12:50 2h 20m 28s
Fix breakage caused by my change to EVERY_MONOTONIC docker-ci #1069: Commit 9a0aad8 pushed by mn200
September 5, 2025 02:43 2h 30m 19s develop
develop
September 5, 2025 02:43 2h 30m 19s