Skip to content

Actions: katydid/proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
redefine null_star Check Proofs #430: Commit 4468363 pushed by awalterschulze
December 8, 2024 11:27 8m 15s main
main
December 8, 2024 11:27 8m 15s
redefine star and derive concat Check Proofs #429: Pull request #101 synchronize by awalterschulze
December 7, 2024 16:08 7m 53s redefine_star
redefine_star
December 7, 2024 16:08 7m 53s
redefine null_star Check Proofs #428: Commit b07fdb0 pushed by awalterschulze
December 7, 2024 16:07 8m 3s redefine_star
redefine_star
December 7, 2024 16:07 8m 3s
redefine star and derive concat Check Proofs #427: Pull request #101 opened by awalterschulze
December 6, 2024 16:35 8m 6s redefine_star
redefine_star
December 6, 2024 16:35 8m 6s
redefine star and derive concat Check Proofs #426: Commit 88e78ed pushed by awalterschulze
December 6, 2024 16:35 8m 9s redefine_star
redefine_star
December 6, 2024 16:35 8m 9s
add attribution Check Proofs #425: Commit 7e7f69d pushed by awalterschulze
December 6, 2024 16:04 8m 9s main
main
December 6, 2024 16:04 8m 9s
add derivative proves Check Proofs #424: Pull request #100 synchronize by awalterschulze
December 6, 2024 16:04 7m 56s calculus
calculus
December 6, 2024 16:04 7m 56s
add attribution Check Proofs #423: Commit b90b43f pushed by awalterschulze
December 6, 2024 16:04 8m 7s calculus
calculus
December 6, 2024 16:04 8m 7s
add derivative proves Check Proofs #422: Pull request #100 opened by awalterschulze
December 6, 2024 15:55 8m 15s calculus
calculus
December 6, 2024 15:55 8m 15s
add derivative proves Check Proofs #421: Commit e40339d pushed by awalterschulze
December 6, 2024 15:55 8m 12s calculus
calculus
December 6, 2024 15:55 8m 12s
create regex folder and add a Language definition Check Proofs #420: Commit ea2b650 pushed by awalterschulze
December 6, 2024 15:15 8m 38s main
main
December 6, 2024 15:15 8m 38s
create regex folder and add a Language definition Check Proofs #419: Pull request #99 opened by awalterschulze
December 6, 2024 15:05 8m 25s language
language
December 6, 2024 15:05 8m 25s
create regex folder and add a Language definition Check Proofs #418: Commit 608473b pushed by awalterschulze
December 6, 2024 15:05 8m 1s language
language
December 6, 2024 15:05 8m 1s
update github action to also test on new lean version 4.14.0 Check Proofs #417: Commit 4e4849c pushed by awalterschulze
December 6, 2024 15:03 8m 13s main
main
December 6, 2024 15:03 8m 13s
update Lean to version 4.14.0 Check Proofs #416: Pull request #98 synchronize by awalterschulze
December 6, 2024 14:53 8m 1s update-lean-to-version-4.14.0
update-lean-to-version-4.14.0
December 6, 2024 14:53 8m 1s
update github action to also test on new lean version 4.14.0 Check Proofs #415: Commit b640214 pushed by awalterschulze
December 6, 2024 14:53 8m 15s update-lean-to-version-4.14.0
update-lean-to-version-4.14.0
December 6, 2024 14:53 8m 15s
update Lean to version 4.14.0 Check Proofs #414: Pull request #98 synchronize by awalterschulze
December 6, 2024 14:51 8m 0s update-lean-to-version-4.14.0
update-lean-to-version-4.14.0
December 6, 2024 14:51 8m 0s
add TODOs to make cleaner proofs for Lists Check Proofs #413: Commit d31c472 pushed by awalterschulze
December 6, 2024 14:51 8m 12s update-lean-to-version-4.14.0
update-lean-to-version-4.14.0
December 6, 2024 14:51 8m 12s
update Lean to version 4.14.0 Check Proofs #412: Pull request #98 opened by awalterschulze
December 6, 2024 14:49 8m 26s update-lean-to-version-4.14.0
update-lean-to-version-4.14.0
December 6, 2024 14:49 8m 26s
update Lean to version 4.14.0 Check Proofs #411: Commit 144b9b0 pushed by awalterschulze
December 6, 2024 14:48 8m 34s update-lean-to-version-4.14.0
update-lean-to-version-4.14.0
December 6, 2024 14:48 8m 34s
Update SimpLibrary.lean Check Proofs #410: Commit 560470f pushed by awalterschulze
December 3, 2024 15:49 7m 20s main
main
December 3, 2024 15:49 7m 20s
Update SimpLibrary.lean Check Proofs #409: Commit bef29e2 pushed by awalterschulze
December 3, 2024 15:48 7m 31s awalterschulze-patch-1
awalterschulze-patch-1
December 3, 2024 15:48 7m 31s
calculate nfa attempt Check Proofs #408: Commit 0f32b9a pushed by awalterschulze
November 19, 2024 09:16 7m 12s calculate_compiler
calculate_compiler
November 19, 2024 09:16 7m 12s