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

first definitions for dagger tableau CI #90: Commit 37b1601 pushed by m4lvin
November 27, 2023 20:16 2m 2s DagTab
DagTab
November 27, 2023 20:16 2m 2s
imitating scratch Lemma 1: is ~[A]... unravel-unravel-transitive? CI #89: Commit f6195eb pushed by m4lvin
November 23, 2023 16:57 1m 57s lemma4-more-like-MB
lemma4-more-like-MB
November 23, 2023 16:57 1m 57s
more Lemma 4 problems, semicolon case stuck in four approaches CI #88: Commit 3857b2d pushed by m4lvin
November 18, 2023 11:43 1m 57s lemma4-more-like-MB
lemma4-more-like-MB
November 18, 2023 11:43 1m 57s
rewrite Lemma 4 to include more of MB's assumptions but not all CI #87: Commit 1e9cf9b pushed by m4lvin
November 17, 2023 21:50 2m 1s lemma4-more-like-MB
lemma4-more-like-MB
November 17, 2023 21:50 2m 1s
wip CI #86: Commit 6e730be pushed by m4lvin
November 14, 2023 15:47 3m 2s lemma4-wip
lemma4-wip
November 14, 2023 15:47 3m 2s
wip CI #85: Commit 56ef2bc pushed by m4lvin
November 13, 2023 21:29 2m 2s lemma4-wip
lemma4-wip
November 13, 2023 21:29 2m 2s
one easy sorry CI #84: Commit f0b4c0c pushed by m4lvin
November 13, 2023 21:08 2m 51s main
main
November 13, 2023 21:08 2m 51s
deal with splitting local rules CI #83: Commit 5a1d509 pushed by m4lvin
November 12, 2023 18:00 2m 37s main
main
November 12, 2023 18:00 2m 37s
work on local rules CI #82: Commit 5551b49 pushed by m4lvin
November 10, 2023 21:43 3m 11s main
main
November 10, 2023 21:43 3m 11s
finish starIffFinitelyManySteps CI #81: Commit fa3fc11 pushed by m4lvin
November 10, 2023 19:28 2m 33s main
main
November 10, 2023 19:28 2m 33s
Merge: Define modelgraphs and prove the Truth Lemma 9. CI #80: Commit 4ed2a67 pushed by m4lvin
November 7, 2023 15:43 2m 9s main
main
November 7, 2023 15:43 2m 9s
sorry-free Modelgraphs (manual castSucc is better than Nat casting) CI #79: Commit 86a0298 pushed by m4lvin
November 7, 2023 15:40 2m 48s modelgraphs
modelgraphs
November 7, 2023 15:40 2m 48s
almost there CI #78: Commit 17e22ba pushed by m4lvin
November 6, 2023 12:07 3m 1s modelgraphs
modelgraphs
November 6, 2023 12:07 3m 1s
un-sorry some propositional cases in localRuleTruth CI #77: Commit 8170fd6 pushed by m4lvin
November 5, 2023 20:46 3m 20s main
main
November 5, 2023 20:46 3m 20s
use mutual theorems for loadedTruthLemma, notes on stuck star case CI #76: Commit d14fd3e pushed by m4lvin
November 5, 2023 16:38 3m 9s modelgraphs
modelgraphs
November 5, 2023 16:38 3m 9s
WIP sketch for star case in loadedTruthLemma CI #75: Commit 79420be pushed by m4lvin
November 5, 2023 13:34 2m 38s modelgraphs
modelgraphs
November 5, 2023 13:34 2m 38s
sketch for star case in loadedTruthLemma CI #74: Commit 7d17c81 pushed by m4lvin
November 4, 2023 15:01 2m 37s modelgraphs
modelgraphs
November 4, 2023 15:01 2m 37s
a simpler proof for starIsFinitelyManySteps CI #73: Commit e5e5e91 pushed by m4lvin
November 4, 2023 14:47 3m 1s modelgraphs
modelgraphs
November 4, 2023 14:47 3m 1s
restate and prove parts of loadedTruthLemma; star case left to do CI #72: Commit 27eeaaf pushed by m4lvin
November 4, 2023 12:32 3m 16s modelgraphs
modelgraphs
November 4, 2023 12:32 3m 16s
work on nSt invertibility CI #71: Commit 9ba782a pushed by m4lvin
November 3, 2023 17:22 3m 32s main
main
November 3, 2023 17:22 3m 32s
correction and note about modelgraphs item iii vs iv CI #70: Commit 635004c pushed by m4lvin
November 3, 2023 16:56 3m 21s modelgraphs
modelgraphs
November 3, 2023 16:56 3m 21s
Manfred was lazy in Lemma 9 CI #69: Commit 8d4eeb4 pushed by m4lvin
November 3, 2023 13:48 3m 11s modelgraphs
modelgraphs
November 3, 2023 13:48 3m 11s
WIP modelgraphs CI #68: Commit 7e0f1a3 pushed by m4lvin
November 3, 2023 10:34 2m 38s modelgraphs
modelgraphs
November 3, 2023 10:34 2m 38s
Bml: shorten Completeness, more about open (iff not closed) tableaux CI #67: Commit 3a05743 pushed by m4lvin
November 3, 2023 09:36 3m 9s main
main
November 3, 2023 09:36 3m 9s
Bml: define OpenTableau and prove that every set has a Tableau CI #66: Commit febbc8d pushed by m4lvin
November 2, 2023 20:52 3m 28s main
main
November 2, 2023 20:52 3m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-11-02 or the other filters available.