Skip to content

Actions: katydid/regex-deriv-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ProTip! You can narrow down the results and go further in time using created:<2024-01-28 or the other filters available.