Skip to content

Actions: m4lvin/lean4-pdl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
683 workflow runs
683 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bml: Syntax, run separate CI action CI #38: Commit 9d97c56 pushed by m4lvin
October 24, 2023 15:33 2m 25s bml-mathport
bml-mathport
October 24, 2023 15:33 2m 25s
mathport results of https://github.com/m4lvin/tablean CI #35: Commit 9c337cc pushed by m4lvin
October 24, 2023 15:19 2m 9s bml-mathport
bml-mathport
October 24, 2023 15:19 2m 9s
working on ; case of Lemma 4 - stuck on unravel mismatch CI #34: Commit 1548acd pushed by m4lvin
October 24, 2023 13:41 2m 38s main
main
October 24, 2023 13:41 2m 38s
add placeholder for Lemma 4¾ CI #33: Commit e130400 pushed by m4lvin
October 24, 2023 12:43 2m 0s main
main
October 24, 2023 12:43 2m 0s
update to Lean 4.2.0-rc4 with deriving DecidableEq, separate Vocab CI #32: Commit 81325c9 pushed by m4lvin
October 24, 2023 12:33 2m 37s main
main
October 24, 2023 12:33 2m 37s
prove disconOr CI #31: Commit 2e191cb pushed by m4lvin
October 24, 2023 10:49 2m 39s main
main
October 24, 2023 10:49 2m 39s
finish inject_never_containsDag using Formula.rec CI #30: Commit 94fcbd9 pushed by m4lvin
October 23, 2023 19:13 1m 59s main
main
October 23, 2023 19:13 1m 59s
work on undag and inject lemmas CI #29: Commit 5300cfa pushed by m4lvin
October 23, 2023 14:55 2m 15s main
main
October 23, 2023 14:55 2m 15s
the meeting where we dealt with daggers CI #28: Commit 5c4c66d pushed by m4lvin
October 23, 2023 14:52 2m 20s main
main
October 23, 2023 14:52 2m 20s
star case likeLemmaFour only has a dagger-or-not problem left CI #26: Commit 7fd343f pushed by m4lvin
October 23, 2023 08:14 1m 53s main
main
October 23, 2023 08:14 1m 53s
also compile Examples file, shorten some proofs CI #25: Commit a80f0d5 pushed by m4lvin
October 22, 2023 15:41 1m 46s main
main
October 22, 2023 15:41 1m 46s
use starCases, but not sure if it's helping CI #24: Commit b967f97 pushed by m4lvin
October 20, 2023 16:38 1m 57s main
main
October 20, 2023 16:38 1m 57s
🎉 starCases, replace StarCat by Mathlib.Logic.Relation.ReflTransGen CI #23: Commit aeb84c7 pushed by m4lvin
October 20, 2023 15:41 1m 50s main
main
October 20, 2023 15:41 1m 50s
WIP Examples CI #22: Commit c122187 pushed by m4lvin
October 20, 2023 08:52 1m 59s main
main
October 20, 2023 08:52 1m 59s
work on Examples file CI #21: Commit 5e3c360 pushed by m4lvin
October 18, 2023 20:16 1m 51s main
main
October 18, 2023 20:16 1m 51s
move starCases mess to Examples file CI #20: Commit a32a8d5 pushed by m4lvin
October 18, 2023 15:41 2m 26s main
main
October 18, 2023 15:41 2m 26s
start with "starCases" CI #19: Commit d84f57e pushed by m4lvin
October 18, 2023 10:30 1m 47s main
main
October 18, 2023 10:30 1m 47s
use fewer arguments in likeLemmaFour CI #18: Commit 07f9d0e pushed by m4lvin
October 17, 2023 16:51 2m 28s main
main
October 17, 2023 16:51 2m 28s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-09 or the other filters available.