Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
900 workflow runs
900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[lambda] "completeness" of lambda theory docker-ci-for-pr #616: Pull request #1422 opened by binghe
March 8, 2025 09:07 1h 59m 1s binghe:lambda_complete
binghe:lambda_complete
March 8, 2025 09:07 1h 59m 1s
Modify emacs mode to make it fall into line with new open behaviours docker-ci #756: Commit cfe1ccc pushed by mn200
March 8, 2025 06:54 2h 0m 42s master
master
March 8, 2025 06:54 2h 0m 42s
Modify emacs mode to make it fall into line with new open behaviours docker-ci #755: Commit cfe1ccc pushed by mn200
March 8, 2025 02:38 2h 6m 30s develop
develop
March 8, 2025 02:38 2h 6m 30s
Fix mosml error in open tweaks from previous commit docker-ci #754: Commit 59e696b pushed by mn200
March 8, 2025 02:17 2h 2m 24s develop
develop
March 8, 2025 02:17 2h 2m 24s
Further refinements of CONG_TAC; setcomp still unhandled docker-ci #753: Commit db181ae pushed by mn200
March 7, 2025 23:59 2h 3m 39s develop
develop
March 7, 2025 23:59 2h 3m 39s
Improved support of mutually (recursive) nominal datatypes docker-ci-for-pr #615: Pull request #1421 synchronize by binghe
March 7, 2025 05:28 2h 1m 56s binghe:nomdatatype_and_pi
binghe:nomdatatype_and_pi
March 7, 2025 05:28 2h 1m 56s
Work towards a Lean-style congruence tactic (CONG_TAC/cong_tac) docker-ci #752: Commit fb9f389 pushed by mn200
March 7, 2025 03:39 2h 5m 3s master
master
March 7, 2025 03:39 2h 5m 3s
Improved support of mutually (recursive) nominal datatypes docker-ci-for-pr #614: Pull request #1421 opened by binghe
March 7, 2025 02:04 1h 59m 27s binghe:nomdatatype_and_pi
binghe:nomdatatype_and_pi
March 7, 2025 02:04 1h 59m 27s
fix linebreak in holindex if rule exceeds line length docker-ci #751: Commit 1da7f5d pushed by mn200
March 7, 2025 00:45 2h 2m 43s develop
develop
March 7, 2025 00:45 2h 2m 43s
add theory of coinduction up-to context docker-ci-for-pr #613: Pull request #1396 synchronize by Plisp
March 6, 2025 09:29 6h 0m 34s Plisp:develop
Plisp:develop
March 6, 2025 09:29 6h 0m 34s
add theory of coinduction up-to context docker-ci-for-pr #612: Pull request #1396 synchronize by Plisp
March 6, 2025 09:27 6h 0m 37s Plisp:develop
Plisp:develop
March 6, 2025 09:27 6h 0m 37s
Work towards a Lean-style congruence tactic (CONG_TAC/cong_tac) docker-ci #750: Commit fb9f389 pushed by mn200
March 6, 2025 06:17 1h 54m 31s develop
develop
March 6, 2025 06:17 1h 54m 31s
Fix documentation syntax error introduced in previous commit docker-ci #749: Commit 5117e4c pushed by mn200
March 6, 2025 00:50 2h 2m 47s develop
develop
March 6, 2025 00:50 2h 2m 47s
Fix bug in ABS_TAC when free and bound names clashed docker-ci #748: Commit 98f3b28 pushed by mn200
March 6, 2025 00:28 2h 3m 10s develop
develop
March 6, 2025 00:28 2h 3m 10s
Add 'cong' as alias for 'defncong' for thm attributes docker-ci #747: Commit 19666c1 pushed by mn200
March 5, 2025 05:37 2h 2m 54s develop
develop
March 5, 2025 05:37 2h 2m 54s
qualified names docker-ci #746: Commit 8567776 pushed by mn200
March 5, 2025 05:19 2h 1m 55s develop
develop
March 5, 2025 05:19 2h 1m 55s
Remove cv_rep_add and use [cv_rep] annotation instead docker-ci #745: Commit 79c5bf4 pushed by mn200
March 5, 2025 02:58 2h 0m 16s master
master
March 5, 2025 02:58 2h 0m 16s
parse open statements docker-ci-for-pr #611: Pull request #1399 synchronize by digama0
March 5, 2025 00:05 2h 1m 0s parse_open
parse_open
March 5, 2025 00:05 2h 1m 0s
Remove cv_rep_add and use [cv_rep] annotation instead docker-ci #744: Commit 79c5bf4 pushed by mn200
March 4, 2025 23:35 2h 1m 38s develop
develop
March 4, 2025 23:35 2h 1m 38s
Remove cv_rep_add and use [cv_rep] annotation instead docker-ci-for-pr #610: Pull request #1419 opened by myreen
March 4, 2025 09:55 2h 0m 3s fix_cv_trans_deep_embedding
fix_cv_trans_deep_embedding
March 4, 2025 09:55 2h 0m 3s
Added more general MEASURABLE_EL; fixed SIGMA_SIMULTANEOUSLY_MEASURABLE docker-ci #743: Commit b8aab1e pushed by mn200
March 4, 2025 07:02 2h 5m 32s develop
develop
March 4, 2025 07:02 2h 5m 32s
mosml fixes docker-ci #742: Commit a032423 pushed by mn200
March 4, 2025 07:01 2h 2m 2s develop
develop
March 4, 2025 07:01 2h 2m 2s
Fix a comment and add new comment docker-ci #741: Commit 4d98589 pushed by mn200
March 4, 2025 06:57 2h 7m 24s develop
develop
March 4, 2025 06:57 2h 7m 24s
Fix lambda example due to renamed ltree theorems (ltree_paths_alt_ltr… docker-ci #740: Commit df27962 pushed by mn200
March 4, 2025 06:56 2h 1m 24s develop
develop
March 4, 2025 06:56 2h 1m 24s
Add bool_case_eq docker-ci #739: Commit 9af37fc pushed by mn200
March 4, 2025 06:55 2h 1m 2s develop
develop
March 4, 2025 06:55 2h 1m 2s