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

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
new operators Check Proofs #449: Commit 52b919e pushed by awalterschulze
December 19, 2024 09:39 1m 27s main
main
December 19, 2024 09:39 1m 27s
new operators Check Proofs #448: Pull request #107 opened by awalterschulze
December 19, 2024 09:36 1m 28s newops
newops
December 19, 2024 09:36 1m 28s
new operators Check Proofs #447: Commit 39c1b77 pushed by awalterschulze
December 19, 2024 09:36 1m 39s newops
newops
December 19, 2024 09:36 1m 39s
initial definition of indexed regex Check Proofs #446: Commit 908edda pushed by awalterschulze
December 18, 2024 14:31 1m 32s main
main
December 18, 2024 14:31 1m 32s
initial definition of indexed regex Check Proofs #445: Pull request #106 opened by awalterschulze
December 18, 2024 14:29 1m 38s indexed_regex
indexed_regex
December 18, 2024 14:29 1m 38s
initial definition of indexed regex Check Proofs #444: Commit 280d961 pushed by awalterschulze
December 18, 2024 14:29 1m 30s indexed_regex
indexed_regex
December 18, 2024 14:29 1m 30s
star proving commuting of regex derivative and denotation Check Proofs #443: Commit 17172a5 pushed by awalterschulze
December 17, 2024 17:44 1m 24s main
main
December 17, 2024 17:44 1m 24s
start proving commuting of regex derivative and denotation Check Proofs #442: Pull request #105 opened by awalterschulze
December 17, 2024 17:43 1m 25s commutes
commutes
December 17, 2024 17:43 1m 25s
star proving commuting of regex derivative and denotation Check Proofs #441: Commit 9511af3 pushed by awalterschulze
December 17, 2024 17:42 1m 27s commutes
commutes
December 17, 2024 17:42 1m 27s
remove use of balistic tactic Check Proofs #440: Commit 23561cd pushed by awalterschulze
December 14, 2024 15:40 8m 9s main
main
December 14, 2024 15:40 8m 9s
cleanup concat proof Check Proofs #439: Pull request #104 synchronize by awalterschulze
December 14, 2024 15:32 7m 53s clean_concat
clean_concat
December 14, 2024 15:32 7m 53s
remove use of balistic tactic Check Proofs #438: Commit 4c73ab8 pushed by awalterschulze
December 14, 2024 15:32 8m 12s clean_concat
clean_concat
December 14, 2024 15:32 8m 12s
cleanup concat proof Check Proofs #437: Pull request #104 opened by awalterschulze
December 14, 2024 15:08 8m 3s clean_concat
clean_concat
December 14, 2024 15:08 8m 3s
cleanup concat proof Check Proofs #436: Commit 2f859cc pushed by awalterschulze
December 14, 2024 14:51 8m 13s clean_concat
clean_concat
December 14, 2024 14:51 8m 13s
prove derive_concat Check Proofs #435: Commit 21c96ec pushed by awalterschulze
December 10, 2024 14:27 8m 45s main
main
December 10, 2024 14:27 8m 45s
prove derive_concat Check Proofs #434: Pull request #103 opened by awalterschulze
December 10, 2024 14:00 8m 4s prove-concat
prove-concat
December 10, 2024 14:00 8m 4s
prove derive_concat Check Proofs #433: Commit 545f507 pushed by awalterschulze
December 10, 2024 14:00 8m 0s prove-concat
prove-concat
December 10, 2024 14:00 8m 0s
prove derives foldl Check Proofs #432: Pull request #102 opened by awalterschulze
December 8, 2024 11:45 8m 0s prove-derives_foldl
prove-derives_foldl
December 8, 2024 11:45 8m 0s
prove derives foldl Check Proofs #431: Commit b704510 pushed by awalterschulze
December 8, 2024 11:45 7m 53s prove-derives_foldl
prove-derives_foldl
December 8, 2024 11:45 7m 53s