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

Replace constructor with Iff.intro Check Proofs #524: Commit ab94823 pushed by awalterschulze
January 13, 2025 12:30 1m 30s main
main
January 13, 2025 12:30 1m 30s
Prove derive_commutes Check Proofs #523: Pull request #132 opened by keeganperry7
January 12, 2025 18:15 1m 24s keeganperry7:derive_commutes
keeganperry7:derive_commutes
January 12, 2025 18:15 1m 24s
introduce any predicate in Language and proof that or (star any) is u… Check Proofs #522: Commit cb6a504 pushed by awalterschulze
January 11, 2025 17:32 1m 36s main
main
January 11, 2025 17:32 1m 36s
introduce any predicate in Language and proof that or (star any) is u… Check Proofs #521: Pull request #131 opened by awalterschulze
January 11, 2025 17:31 1m 23s any
any
January 11, 2025 17:31 1m 23s
introduce any predicate in Language and proof that or (star any) is u… Check Proofs #520: Commit 6ad31c1 pushed by awalterschulze
January 11, 2025 17:30 1m 35s any
any
January 11, 2025 17:30 1m 35s
simp only Check Proofs #519: Commit fdb1ba1 pushed by awalterschulze
January 10, 2025 17:26 1m 27s main
main
January 10, 2025 17:26 1m 27s
prove orToList_is_orFromList Check Proofs #518: Pull request #130 synchronize by awalterschulze
January 10, 2025 17:23 1m 29s orToList_is_orFromList
orToList_is_orFromList
January 10, 2025 17:23 1m 29s
simp only Check Proofs #517: Commit 0eeef9c pushed by awalterschulze
January 10, 2025 17:23 1m 29s orToList_is_orFromList
orToList_is_orFromList
January 10, 2025 17:23 1m 29s
prove orToList_is_orFromList Check Proofs #516: Pull request #130 opened by awalterschulze
January 10, 2025 17:21 1m 42s orToList_is_orFromList
orToList_is_orFromList
January 10, 2025 17:21 1m 42s
prove orToList_is_orFromList Check Proofs #515: Commit 16788c8 pushed by awalterschulze
January 10, 2025 17:21 1m 31s orToList_is_orFromList
orToList_is_orFromList
January 10, 2025 17:21 1m 31s
only use simp only in Regex proofs Check Proofs #514: Commit c028877 pushed by awalterschulze
January 10, 2025 15:53 1m 29s main
main
January 10, 2025 15:53 1m 29s
only use simp only in Regex proofs Check Proofs #513: Pull request #129 opened by awalterschulze
January 10, 2025 15:50 1m 40s only_use_simp_only
only_use_simp_only
January 10, 2025 15:50 1m 40s
only use simp only in Regex proofs Check Proofs #512: Commit 04fc734 pushed by awalterschulze
January 10, 2025 15:50 1m 30s only_use_simp_only
only_use_simp_only
January 10, 2025 15:50 1m 30s
proved a few emptystr simplification rules Check Proofs #511: Commit d5b6375 pushed by awalterschulze
January 9, 2025 15:28 1m 27s main
main
January 9, 2025 15:28 1m 27s
Fixed and_null_emptystr_is theorems Check Proofs #510: Commit b7b8dea pushed by awalterschulze
January 9, 2025 15:27 1m 28s main
main
January 9, 2025 15:27 1m 28s
Fixed and_null_emptystr_is theorems Check Proofs #509: Pull request #128 opened by keeganperry7
January 7, 2025 12:05 1m 57s keeganperry7:and_emptystr_null_is
keeganperry7:and_emptystr_null_is
January 7, 2025 12:05 1m 57s
Proved a few emptystr simplification rules Check Proofs #508: Pull request #127 opened by keeganperry7
January 7, 2025 11:40 1m 42s keeganperry7:and_emptystr
keeganperry7:and_emptystr
January 7, 2025 11:40 1m 42s
cleanup Check Proofs #507: Commit 04ce8b5 pushed by awalterschulze
December 23, 2024 16:25 1m 26s main
main
December 23, 2024 16:25 1m 26s
cleanup Check Proofs #506: Pull request #126 opened by awalterschulze
December 23, 2024 16:23 1m 28s cleanup
cleanup
December 23, 2024 16:23 1m 28s
cleanup Check Proofs #505: Commit 28eb8cb pushed by awalterschulze
December 23, 2024 16:23 1m 38s cleanup
cleanup
December 23, 2024 16:23 1m 38s
proved simplification rule that star (star r) = star r Check Proofs #504: Commit bd0fde7 pushed by awalterschulze
December 23, 2024 15:43 1m 24s main
main
December 23, 2024 15:43 1m 24s
proved simplification rule that star (star r) = star r Check Proofs #503: Pull request #125 opened by awalterschulze
December 23, 2024 15:42 1m 25s star_star
star_star
December 23, 2024 15:42 1m 25s
proved simplification rule that star (star r) = star r Check Proofs #502: Commit 73e53e0 pushed by awalterschulze
December 23, 2024 15:41 1m 29s star_star
star_star
December 23, 2024 15:41 1m 29s
NonEmptyList.mergeReps Check Proofs #501: Commit c936831 pushed by awalterschulze
December 23, 2024 14:13 1m 25s main
main
December 23, 2024 14:13 1m 25s
NonEmptyList.mergeReps Check Proofs #500: Pull request #124 opened by awalterschulze
December 23, 2024 14:11 1m 36s mergeReps
mergeReps
December 23, 2024 14:11 1m 36s