Skip to content

Actions: huynhtrankhanh/CoqCP

Actions

Coq Axiom Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
axioms.yml
479 workflow runs
479 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More work Coq Axiom Check #479: Commit 61805e0 pushed by huynhtrankhanh
November 17, 2024 11:04 1m 36s main
main
November 17, 2024 11:04 1m 36s
Prove unitePreservesNoIllegalIndices Coq Axiom Check #478: Commit e5a6dff pushed by huynhtrankhanh
November 17, 2024 08:58 3m 29s main
main
November 17, 2024 08:58 3m 29s
Work on interactEqualsModelScore Coq Axiom Check #477: Commit e83d246 pushed by huynhtrankhanh
November 17, 2024 06:46 3m 37s main
main
November 17, 2024 06:46 3m 37s
Prove outOfBoundsInteraction1B Coq Axiom Check #476: Commit 9ef8c53 pushed by huynhtrankhanh
November 17, 2024 03:52 3m 25s main
main
November 17, 2024 03:52 3m 25s
Prove outOfBoundsInteractionNB Coq Axiom Check #475: Commit 6567f62 pushed by huynhtrankhanh
November 17, 2024 02:23 3m 34s main
main
November 17, 2024 02:23 3m 34s
Work on outOfBoundsInteractionNB Coq Axiom Check #474: Commit c1a79f6 pushed by huynhtrankhanh
November 16, 2024 17:31 3m 25s main
main
November 16, 2024 17:31 3m 25s
Prove out of bounds theorems for a Coq Axiom Check #473: Commit d6d349a pushed by huynhtrankhanh
November 16, 2024 17:07 3m 26s main
main
November 16, 2024 17:07 3m 26s
Add an if guard in dsuFromInteractions Coq Axiom Check #472: Commit 31f036c pushed by huynhtrankhanh
November 16, 2024 15:06 3m 35s main
main
November 16, 2024 15:06 3m 35s
Prove firstInteraction Coq Axiom Check #471: Commit ec1db89 pushed by huynhtrankhanh
November 16, 2024 14:57 3m 40s main
main
November 16, 2024 14:57 3m 40s
Add DisjointSetUnionCode3.v Coq Axiom Check #470: Commit 31f07b9 pushed by huynhtrankhanh
November 16, 2024 13:10 4m 8s main
main
November 16, 2024 13:10 4m 8s
Change Admitted to Qed Coq Axiom Check #469: Commit cf6b85e pushed by huynhtrankhanh
November 12, 2024 10:37 2m 57s main
main
November 12, 2024 10:37 2m 57s
Prove maxScoreIsAttainable Coq Axiom Check #468: Commit d1fca00 pushed by huynhtrankhanh
November 12, 2024 08:50 3m 14s main
main
November 12, 2024 08:50 3m 14s
Complete runUnite Coq Axiom Check #467: Commit 1cb47f5 pushed by huynhtrankhanh
November 12, 2024 05:38 14m 27s main
main
November 12, 2024 05:38 14m 27s
Generalize mergingLogic Coq Axiom Check #466: Commit 9249b90 pushed by huynhtrankhanh
November 12, 2024 04:50 18m 32s main
main
November 12, 2024 04:50 18m 32s
Prove doubleBangEqIfNthEq, delete partial proof of pathCompressCommute Coq Axiom Check #465: Commit b892e27 pushed by huynhtrankhanh
November 11, 2024 11:52 5m 37s main
main
November 11, 2024 11:52 5m 37s
Prove pathCompressNth Coq Axiom Check #464: Commit 8503cdc pushed by huynhtrankhanh
November 11, 2024 05:44 2m 37s main
main
November 11, 2024 05:44 2m 37s
Partially prove pathCompressCommute Coq Axiom Check #463: Commit 14c59b5 pushed by huynhtrankhanh
November 10, 2024 17:17 1m 36s main
main
November 10, 2024 17:17 1m 36s
More work Coq Axiom Check #462: Commit d5f5259 pushed by huynhtrankhanh
November 10, 2024 11:35 2m 15s main
main
November 10, 2024 11:35 2m 15s
Fix definition of unite Coq Axiom Check #461: Commit 4962d25 pushed by huynhtrankhanh
November 10, 2024 11:24 2m 37s main
main
November 10, 2024 11:24 2m 37s
Finish proving mergingLogic Coq Axiom Check #460: Commit 3742b23 pushed by huynhtrankhanh
November 10, 2024 10:28 2m 15s main
main
November 10, 2024 10:28 2m 15s
Solve side condition Coq Axiom Check #459: Commit 1a2353b pushed by huynhtrankhanh
November 10, 2024 10:07 2m 17s main
main
November 10, 2024 10:07 2m 17s
Prove maxScore3 Coq Axiom Check #458: Commit 521b22e pushed by huynhtrankhanh
November 10, 2024 09:37 2m 21s main
main
November 10, 2024 09:37 2m 21s
Prove constructTreeScore Coq Axiom Check #457: Commit 67c104f pushed by huynhtrankhanh
November 10, 2024 09:17 2m 26s main
main
November 10, 2024 09:17 2m 26s
Prove maxScore2 Coq Axiom Check #456: Commit 7e574e2 pushed by huynhtrankhanh
November 10, 2024 08:34 4m 1s main
main
November 10, 2024 08:34 4m 1s
Prove rollPreservesLeafCount Coq Axiom Check #455: Commit 124a34f pushed by huynhtrankhanh
November 10, 2024 08:13 2m 16s main
main
November 10, 2024 08:13 2m 16s