Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
253 workflow run results
253 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add ltree_every and ltree_finite_branching docker-ci-for-pr #132: Pull request #1172 opened by binghe
December 11, 2023 02:53 56m 28s binghe:ltree_every_n_finite_branching
binghe:ltree_every_n_finite_branching
December 11, 2023 02:53 56m 28s
[examples/lambda] Update documentation in examples/lambda/basics docker-ci #284: Commit 8f886cf pushed by mn200
December 11, 2023 00:12 59m 55s develop
develop
December 11, 2023 00:12 59m 55s
[examples/lambda] Establish new type of λ-terms, with constants docker-ci #283: Commit 4954936 pushed by mn200
December 8, 2023 07:09 56m 0s develop
develop
December 8, 2023 07:09 56m 0s
Stage work on λ-calculus (Böhm transform and head original terms) (#1… docker-ci #282: Commit d469567 pushed by mn200
December 8, 2023 05:06 56m 27s master
master
December 8, 2023 05:06 56m 27s
Stage work on λ-calculus (Böhm transform and head original terms) (#1… docker-ci #281: Commit d469567 pushed by mn200
December 7, 2023 03:30 55m 22s develop
develop
December 7, 2023 03:30 55m 22s
Minor tweaks and polishing in examples/lambda docker-ci #280: Commit faa3d82 pushed by mn200
December 7, 2023 03:29 54m 22s develop
develop
December 7, 2023 03:29 54m 22s
Mechanise §3 of Takahashi's 1995 paper about parallel eta docker-ci #279: Commit bd4f76e pushed by mn200
December 7, 2023 02:46 55m 53s develop
develop
December 7, 2023 02:46 55m 53s
Stage work on λ-calculus (Böhm transform and head original terms) docker-ci-for-pr #130: Pull request #1169 opened by binghe
December 5, 2023 04:41 55m 9s binghe:Boehm_transform_is_ready
binghe:Boehm_transform_is_ready
December 5, 2023 04:41 55m 9s
Add various theorems (#1168) docker-ci #278: Commit 3f6e782 pushed by mn200
December 5, 2023 04:30 58m 3s master
master
December 5, 2023 04:30 58m 3s
Add various theorems (#1168) docker-ci #277: Commit 3f6e782 pushed by mn200
December 3, 2023 23:44 54m 56s develop
develop
December 3, 2023 23:44 54m 56s
Add various theorems docker-ci-for-pr #129: Pull request #1168 synchronize by xrchz
December 3, 2023 20:29 55m 2s add_thms
add_thms
December 3, 2023 20:29 55m 2s
Add various theorems docker-ci-for-pr #128: Pull request #1168 synchronize by xrchz
December 3, 2023 17:03 55m 11s add_thms
add_thms
December 3, 2023 17:03 55m 11s
Add various theorems docker-ci-for-pr #127: Pull request #1168 synchronize by xrchz
December 3, 2023 16:05 55m 57s add_thms
add_thms
December 3, 2023 16:05 55m 57s
Add various theorems docker-ci-for-pr #126: Pull request #1168 synchronize by xrchz
December 3, 2023 06:34 55m 43s add_thms
add_thms
December 3, 2023 06:34 55m 43s
Add various theorems docker-ci-for-pr #125: Pull request #1168 synchronize by xrchz
December 3, 2023 06:24 54m 48s add_thms
add_thms
December 3, 2023 06:24 54m 48s
Add various theorems docker-ci-for-pr #124: Pull request #1168 synchronize by xrchz
December 2, 2023 16:57 55m 26s add_thms
add_thms
December 2, 2023 16:57 55m 26s
Add various theorems docker-ci-for-pr #123: Pull request #1168 opened by xrchz
December 2, 2023 15:47 1m 38s add_thms
add_thms
December 2, 2023 15:47 1m 38s
Fix Unicode issues in ninetyOneScript.sml docker-ci #276: Commit 2a25962 pushed by mn200
December 2, 2023 05:25 55m 30s develop
develop
December 2, 2023 05:25 55m 30s
Merge pull request #1167 from binghe/separability_lemma docker-ci #275: Commit a6832b7 pushed by mn200
December 1, 2023 05:47 55m 17s master
master
December 1, 2023 05:47 55m 17s
Add tail-recursive 91 fn, with termination challenges of its own docker-ci #274: Commit 34c69c9 pushed by mn200
December 1, 2023 05:47 1m 32s develop
develop
December 1, 2023 05:47 1m 32s
Merge pull request #1167 from binghe/separability_lemma docker-ci #273: Commit a6832b7 pushed by mn200
November 30, 2023 23:08 56m 28s develop
develop
November 30, 2023 23:08 56m 28s
Fix a reference to tailrecLib that a1129a6ca94de didn't catch docker-ci #272: Commit 24dd865 pushed by mn200
November 30, 2023 00:17 56m 17s master
master
November 30, 2023 00:17 56m 17s
Fix a reference to tailrecLib that a1129a6ca94de didn't catch docker-ci #271: Commit 24dd865 pushed by mn200
November 30, 2023 00:17 55m 17s develop
develop
November 30, 2023 00:17 55m 17s
Add tailrecursive keyword/attribute to Definition handling docker-ci #270: Commit 6d57be5 pushed by mn200
November 29, 2023 05:50 56m 14s develop
develop
November 29, 2023 05:50 56m 14s
Tweak tailrecLib to compile and write two simple regression tests docker-ci #269: Commit 679fd63 pushed by mn200
November 28, 2023 06:19 55m 19s develop
develop
November 28, 2023 06:19 55m 19s