Skip to content

Actions: katydid/regex-deriv-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
282 workflow runs
282 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add initial smart constructors Check Proofs #474: Commit 5d771a6 pushed by awalterschulze
December 19, 2024 16:14 1m 39s main
main
December 19, 2024 16:14 1m 39s
add initial smart constructors Check Proofs #473: Pull request #115 opened by awalterschulze
December 19, 2024 16:12 1m 25s smart
smart
December 19, 2024 16:12 1m 25s
add initial smart constructors Check Proofs #472: Commit bfc54b3 pushed by awalterschulze
December 19, 2024 16:11 1m 36s smart
smart
December 19, 2024 16:11 1m 36s
move Regex.lean and Commutes.lean to SimpleRegex.lean Check Proofs #471: Commit aec52af pushed by awalterschulze
December 19, 2024 15:57 1m 27s main
main
December 19, 2024 15:57 1m 27s
move Regex.lean and Commutes.lean to SimpleRegex.lean Check Proofs #470: Pull request #114 opened by awalterschulze
December 19, 2024 15:55 1m 38s simple_regex
simple_regex
December 19, 2024 15:55 1m 38s
move Regex.lean and Commutes.lean to SimpleRegex.lean Check Proofs #469: Commit e6bfcec pushed by awalterschulze
December 19, 2024 15:55 1m 26s simple_regex
simple_regex
December 19, 2024 15:55 1m 26s
add simplification rules Check Proofs #468: Commit 370c7b3 pushed by awalterschulze
December 19, 2024 15:43 1m 28s main
main
December 19, 2024 15:43 1m 28s
add simplification rules Check Proofs #467: Pull request #113 opened by awalterschulze
December 19, 2024 15:42 1m 25s simplification_rules
simplification_rules
December 19, 2024 15:42 1m 25s
add simplification rules Check Proofs #466: Commit 7b42a69 pushed by awalterschulze
December 19, 2024 15:42 1m 29s simplification_rules
simplification_rules
December 19, 2024 15:42 1m 29s
start proving indexed derive Check Proofs #465: Commit 9602fa6 pushed by awalterschulze
December 19, 2024 15:02 1m 37s main
main
December 19, 2024 15:02 1m 37s
start proving indexed derive Check Proofs #464: Pull request #112 opened by awalterschulze
December 19, 2024 15:01 1m 25s indexed_derive
indexed_derive
December 19, 2024 15:01 1m 25s
start proving indexed derive Check Proofs #463: Commit d7344be pushed by awalterschulze
December 19, 2024 15:00 1m 39s indexed_derive
indexed_derive
December 19, 2024 15:00 1m 39s
prove star Check Proofs #462: Commit 495bf1d pushed by awalterschulze
December 19, 2024 11:50 1m 25s main
main
December 19, 2024 11:50 1m 25s
prove star Check Proofs #461: Pull request #111 opened by awalterschulze
December 19, 2024 11:47 1m 33s prove_star
prove_star
December 19, 2024 11:47 1m 33s
prove star Check Proofs #460: Commit e1c4702 pushed by awalterschulze
December 19, 2024 11:47 1m 35s prove_star
prove_star
December 19, 2024 11:47 1m 35s
Update README.md Check Proofs #459: Commit fe32118 pushed by awalterschulze
December 19, 2024 10:50 1m 36s main
main
December 19, 2024 10:50 1m 36s
Update README.md Check Proofs #458: Pull request #110 opened by awalterschulze
December 19, 2024 10:50 1m 25s awalterschulze-patch-2
awalterschulze-patch-2
December 19, 2024 10:50 1m 25s
Update README.md Check Proofs #457: Commit f3d9bf7 pushed by awalterschulze
December 19, 2024 10:50 1m 25s awalterschulze-patch-2
awalterschulze-patch-2
December 19, 2024 10:50 1m 25s
fix readme Check Proofs #456: Commit 458a595 pushed by awalterschulze
December 19, 2024 10:49 1m 31s main
main
December 19, 2024 10:49 1m 31s
update readme Check Proofs #455: Commit 53c62c3 pushed by awalterschulze
December 19, 2024 10:42 1m 28s main
main
December 19, 2024 10:42 1m 28s
update readme Check Proofs #454: Pull request #109 opened by awalterschulze
December 19, 2024 10:42 1m 39s use_splitAt
use_splitAt
December 19, 2024 10:42 1m 39s
update readme Check Proofs #453: Commit 955fc48 pushed by awalterschulze
December 19, 2024 10:41 1m 36s use_splitAt
use_splitAt
December 19, 2024 10:41 1m 36s
add list splitat theorem Check Proofs #452: Commit 78a3f33 pushed by awalterschulze
December 19, 2024 10:13 1m 29s main
main
December 19, 2024 10:13 1m 29s
add list splitat theorem Check Proofs #451: Pull request #108 opened by awalterschulze
December 19, 2024 10:12 1m 37s list_splitAt
list_splitAt
December 19, 2024 10:12 1m 37s
add list splitat theorem Check Proofs #450: Commit a974f13 pushed by awalterschulze
December 19, 2024 10:11 1m 27s list_splitAt
list_splitAt
December 19, 2024 10:11 1m 27s