Skip to content

Actions: m4lvin/lean4-pdl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
740 workflow runs
740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #46: by github-codespaces bot
August 12, 2024 06:00 8m 21s
August 12, 2024 06:00 8m 21s
some simplifications CI #627: Commit d33e8c6 pushed by goens
August 8, 2024 14:19 4m 36s quots
quots
August 8, 2024 14:19 4m 36s
prepare unfoldDiamondLoaded CI #626: Commit 60b8066 pushed by m4lvin
August 6, 2024 16:46 4m 41s main
main
August 6, 2024 16:46 4m 41s
remove ccEdge; first attempt at loadedDiamondPaths CI #625: Commit 98f20cc pushed by m4lvin
August 6, 2024 16:15 4m 41s main
main
August 6, 2024 16:15 4m 41s
update to Lean v4.10.0 - fixing all files again CI #624: Commit e784ae5 pushed by m4lvin
August 6, 2024 14:22 4m 39s main
main
August 6, 2024 14:22 4m 39s
finish edge_then_length_sub for edge.wellfounded CI #623: Commit 64f9015 pushed by m4lvin
August 6, 2024 13:28 4m 34s main
main
August 6, 2024 13:28 4m 34s
almost finish edge.wellFounded via decreasing length CI #622: Commit 419d311 pushed by m4lvin
August 5, 2024 18:56 4m 38s main
main
August 5, 2024 18:56 4m 38s
[main]: stuck on edge.WedllFounded - tab or path induction? Codespaces Prebuilds #45: by github-codespaces bot
August 5, 2024 06:00 7m 37s
August 5, 2024 06:00 7m 37s
stuck on edge.WedllFounded - tab or path induction? CI #621: Commit 6388967 pushed by m4lvin
July 29, 2024 20:51 4m 34s main
main
July 29, 2024 20:51 4m 34s
preserve side in localDiamondPaths for tableauThenNotSat CI #620: Commit 97a033c pushed by m4lvin
July 29, 2024 20:51 4m 43s main
main
July 29, 2024 20:51 4m 43s
prove eProp2.a CI #619: Commit dba26e5 pushed by m4lvin
July 29, 2024 14:22 4m 37s main
main
July 29, 2024 14:22 4m 37s
prove not_edge_nil - the root has no parent CI #618: Commit c59af8f pushed by m4lvin
July 29, 2024 14:10 5m 18s main
main
July 29, 2024 14:10 5m 18s
prove edge_append_loc_nil CI #617: Commit 69aa30f pushed by m4lvin
July 29, 2024 13:47 4m 32s main
main
July 29, 2024 13:47 4m 32s
prove PathIn.nil_eq_append_iff_both_eq_nil CI #616: Commit ccba79f pushed by m4lvin
July 29, 2024 11:56 4m 39s main
main
July 29, 2024 11:56 4m 39s
[main]: tableauThenNotSat: reduce non-loaded case to lemmas about append nil Codespaces Prebuilds #44: by github-codespaces bot
July 29, 2024 06:00 8m 23s
July 29, 2024 06:00 8m 23s
tableauThenNotSat: reduce non-loaded case to lemmas about append nil CI #615: Commit 3a77b60 pushed by m4lvin
July 28, 2024 21:14 4m 42s main
main
July 28, 2024 21:14 4m 42s
tableauThenNotSat: loaded case almost done CI #614: Commit 6460ebf pushed by m4lvin
July 28, 2024 15:58 4m 44s main
main
July 28, 2024 15:58 4m 44s
two separate IHs in tableautheNotSat + foldr boxes CI #613: Commit afed278 pushed by m4lvin
July 28, 2024 14:33 4m 45s main
main
July 28, 2024 14:33 4m 45s
working on loadedDiamondPaths + some reorganizing CI #612: Commit 51f87b0 pushed by m4lvin
July 27, 2024 21:11 4m 29s main
main
July 27, 2024 21:11 4m 29s
Expand SemQuot example a bit CI #611: Commit d832bee pushed by goens
July 25, 2024 12:21 4m 34s quots
quots
July 25, 2024 12:21 4m 34s
experiment with edge via seven cases and edgeCases CI #610: Commit a09ca2e pushed by m4lvin
July 23, 2024 09:48 4m 35s edge-seven-cases
edge-seven-cases
July 23, 2024 09:48 4m 35s
separate UnfoldBox and UnfoldDia CI #609: Commit 2c6d8f6 pushed by m4lvin
July 22, 2024 16:39 5m 0s main
main
July 22, 2024 16:39 5m 0s
idea to define the semEquiv Quotient CI #608: Commit 9d6710f pushed by m4lvin
July 22, 2024 16:25 5m 9s main
main
July 22, 2024 16:25 5m 9s
[main]: ideas for three alternative edge definitions Codespaces Prebuilds #43: by github-codespaces bot
July 22, 2024 06:00 8m 33s
July 22, 2024 06:00 8m 33s
[main]: ideas for three alternative edge definitions Codespaces Prebuilds #42: by github-codespaces bot
July 15, 2024 06:00 7m 43s
July 15, 2024 06:00 7m 43s