Skip to content

Actions: katydid/regex-deriv-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TEq = Eq Check Proofs #299: Pull request #74 opened by awalterschulze
January 21, 2024 17:16 6m 20s some_confusion
some_confusion
January 21, 2024 17:16 6m 20s
TEq = Eq Check Proofs #298: Commit 4f338ca pushed by awalterschulze
January 21, 2024 17:16 6m 16s some_confusion
some_confusion
January 21, 2024 17:16 6m 16s
Add examples of proving a negation in Lean Check Proofs #297: Commit 9a433de pushed by awalterschulze
January 7, 2024 12:12 6m 23s main
main
January 7, 2024 12:12 6m 23s
Work from the session on 2023-12-11 Check Proofs #296: Pull request #73 opened by paulcadman
January 6, 2024 23:37 6m 15s session-2023-12-11
session-2023-12-11
January 6, 2024 23:37 6m 15s
Add examples of proving a negation in Lean Check Proofs #295: Commit 185b950 pushed by paulcadman
January 6, 2024 23:34 6m 12s session-2023-12-11
session-2023-12-11
January 6, 2024 23:34 6m 12s
Add tactic proof for nullable_char Check Proofs #294: Commit 5e1661e pushed by awalterschulze
December 11, 2023 11:36 6m 24s main
main
December 11, 2023 11:36 6m 24s
Work from the session on 2023-11-27 Check Proofs #293: Pull request #72 opened by paulcadman
December 10, 2023 22:24 6m 13s session-2023-11-27
session-2023-11-27
December 10, 2023 22:24 6m 13s
Add tactic proof for nullable_char Check Proofs #292: Commit c8e9a86 pushed by paulcadman
December 10, 2023 22:22 6m 30s session-2023-11-27
session-2023-11-27
December 10, 2023 22:22 6m 30s
Updated links Check Proofs #291: Commit 228b998 pushed by awalterschulze
December 10, 2023 15:36 6m 34s main
main
December 10, 2023 15:36 6m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-12-10 or the other filters available.