Skip to content

Actions: katydid/regex-deriv-lean

Actions

Check Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check_proofs.yml
282 workflow runs
282 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

trfl function Check Proofs #324: Commit 0002f11 pushed by awalterschulze
February 25, 2024 15:46 6m 37s main
main
February 25, 2024 15:46 6m 37s
trfl function Check Proofs #323: Pull request #82 opened by awalterschulze
February 25, 2024 15:38 6m 45s trfl
trfl
February 25, 2024 15:38 6m 45s
trfl function Check Proofs #322: Commit 97aa860 pushed by awalterschulze
February 25, 2024 15:37 6m 41s trfl
trfl
February 25, 2024 15:37 6m 41s
Update Lean version Check Proofs #321: Commit 612d709 pushed by awalterschulze
February 25, 2024 15:01 6m 42s main
main
February 25, 2024 15:01 6m 42s
Update Lean version Check Proofs #320: Pull request #81 opened by awalterschulze
February 25, 2024 14:47 6m 37s lean4.5
lean4.5
February 25, 2024 14:47 6m 37s
Update Lean version Check Proofs #319: Commit 1f7745d pushed by awalterschulze
February 25, 2024 14:47 6m 44s lean4.5
lean4.5
February 25, 2024 14:47 6m 44s
proof relevant parse 2 Check Proofs #318: Commit ad2be0f pushed by awalterschulze
February 3, 2024 18:10 6m 43s main
main
February 3, 2024 18:10 6m 43s
proof relevant parse 2 Check Proofs #317: Pull request #80 opened by awalterschulze
February 3, 2024 18:03 7m 1s proof_revelant_parse
proof_revelant_parse
February 3, 2024 18:03 7m 1s
proof relevant parse 2 Check Proofs #316: Commit 130763e pushed by awalterschulze
February 3, 2024 18:02 6m 48s proof_revelant_parse
proof_revelant_parse
February 3, 2024 18:02 6m 48s
massive cleanup Check Proofs #315: Commit a9f7918 pushed by awalterschulze
February 3, 2024 17:51 6m 31s main
main
February 3, 2024 17:51 6m 31s
massive cleanup Check Proofs #314: Pull request #79 opened by awalterschulze
February 3, 2024 17:40 6m 36s cleanup
cleanup
February 3, 2024 17:40 6m 36s
massive cleanup Check Proofs #313: Commit b5a067a pushed by awalterschulze
February 3, 2024 17:39 6m 52s cleanup
cleanup
February 3, 2024 17:39 6m 52s
Try out Homotopy Type Theory Check Proofs #312: Commit 4150dbf pushed by awalterschulze
February 3, 2024 15:15 52s main
main
February 3, 2024 15:15 52s
Try out Homotopy Type Theory Check Proofs #311: Pull request #78 opened by awalterschulze
February 3, 2024 15:14 43s tryhott
tryhott
February 3, 2024 15:14 43s
Try out Homotopy Type Theory Check Proofs #310: Commit e64b201 pushed by awalterschulze
February 3, 2024 15:12 41s tryhott
tryhott
February 3, 2024 15:12 41s
Hott alternatives for Language and Calculus Check Proofs #309: Commit 6d11a98 pushed by awalterschulze
January 28, 2024 13:07 40s main
main
January 28, 2024 13:07 40s
Hott alternatives for Language and Calculus Check Proofs #308: Pull request #77 opened by awalterschulze
January 28, 2024 13:05 42s hott
hott
January 28, 2024 13:05 42s
Hott alternatives for Language and Calculus Check Proofs #307: Commit 4effa43 pushed by awalterschulze
January 28, 2024 13:04 39s hott
hott
January 28, 2024 13:04 39s
Add groundzero dependency and update lean-toolchain Check Proofs #306: Commit a5256b1 pushed by awalterschulze
January 28, 2024 12:14 6m 40s main
main
January 28, 2024 12:14 6m 40s
Add groundzero dependency and update lean-toolchain Check Proofs #305: Pull request #76 opened by awalterschulze
January 28, 2024 12:07 6m 51s groundzero
groundzero
January 28, 2024 12:07 6m 51s
Add groundzero dependency and update lean-toolchain Check Proofs #304: Commit 77df7c5 pushed by awalterschulze
January 28, 2024 12:07 6m 35s groundzero
groundzero
January 28, 2024 12:07 6m 35s
some surprising proofs about Eq and TEq Check Proofs #303: Commit e355e8b pushed by awalterschulze
January 28, 2024 12:03 6m 25s main
main
January 28, 2024 12:03 6m 25s
some surprising proofs about Eq and TEq Check Proofs #302: Pull request #75 opened by awalterschulze
January 28, 2024 11:56 6m 29s allotherthingsbeingequal
allotherthingsbeingequal
January 28, 2024 11:56 6m 29s
some surprising proofs about Eq and TEq Check Proofs #301: Commit 1071823 pushed by awalterschulze
January 28, 2024 11:56 6m 17s allotherthingsbeingequal
allotherthingsbeingequal
January 28, 2024 11:56 6m 17s
TEq = Eq Check Proofs #300: Commit 93af2ad pushed by awalterschulze
January 21, 2024 17:24 6m 43s main
main
January 21, 2024 17:24 6m 43s