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

delete unneeded case; fix pairunionFinset and union_elem_uplus CI #17: Commit cc7d88e pushed by m4lvin
October 16, 2023 19:22 2m 4s main
main
October 16, 2023 19:22 2m 4s
use w ≠ v in likeLemmaFour CI #16: Commit 0c9abfa pushed by m4lvin
October 16, 2023 15:41 2m 27s main
main
October 16, 2023 15:41 2m 27s
make our own union notation with ⋓ instead of ∪ CI #15: Commit ed43a99 pushed by m4lvin
October 16, 2023 13:25 1m 50s main
main
October 16, 2023 13:25 1m 50s
adjust notation CI #14: Commit cc5837f pushed by m4lvin
October 11, 2023 16:20 2m 11s main
main
October 11, 2023 16:20 2m 11s
steps until stuck in likeLemmaFour CI #13: Commit d085c8d pushed by m4lvin
October 10, 2023 20:09 2m 27s main
main
October 10, 2023 20:09 2m 27s
do not unravel left branch; some progress with star case Lemma 4 CI #12: Commit 97c69e2 pushed by m4lvin
October 10, 2023 11:59 1m 51s main
main
October 10, 2023 11:59 1m 51s
meeting notes and TODOs CI #11: Commit 27632fe pushed by m4lvin
October 9, 2023 13:26 1m 57s main
main
October 9, 2023 13:26 1m 57s
work on Lemma 5 *-case CI #10: Commit 1e50eac pushed by m4lvin
October 8, 2023 18:16 1m 50s main
main
October 8, 2023 18:16 1m 50s
generalise Uplus notation for Lists² and Finsets² CI #8: Commit 5f8d1bb pushed by m4lvin
October 8, 2023 13:27 1m 50s main
main
October 8, 2023 13:27 1m 50s
start to clean up Examples file, still broken CI #7: Commit 969877c pushed by m4lvin
October 7, 2023 12:01 2m 2s main
main
October 7, 2023 12:01 2m 2s
Lemma 4 ; and ∪ cases done (but proofs should be shortened someday) CI #6: Commit 76e9d58 pushed by m4lvin
October 7, 2023 11:26 2m 10s main
main
October 7, 2023 11:26 2m 10s
working on ;-case of Lemma 4 CI #5: Commit 93fac9d pushed by m4lvin
October 7, 2023 09:05 1m 44s main
main
October 7, 2023 09:05 1m 44s
inductive localRule; seems no additional IH needed in Lemma4 ;-case CI #4: Commit be8c347 pushed by m4lvin
October 6, 2023 23:06 1m 44s main
main
October 6, 2023 23:06 1m 44s
small step in Lemma 4 CI #3: Commit 2f9bd36 pushed by m4lvin
October 6, 2023 11:21 1m 49s main
main
October 6, 2023 11:21 1m 49s
add CI CI #2: Commit dbb0fde pushed by m4lvin
October 6, 2023 10:14 1m 42s main
main
October 6, 2023 10:14 1m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-10-06 or the other filters available.