Skip to content

Actions: m4lvin/lean4-pdl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
747 workflow runs
747 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
WIP trying and idea for open tableau in Bml CI #65: Commit bc173b7 pushed by m4lvin
November 2, 2023 18:13 2m 39s main
main
November 2, 2023 18:13 2m 39s
build Bml and Pdl by default in Makefile CI #64: Commit 848ba0e pushed by m4lvin
November 2, 2023 11:54 3m 43s main
main
November 2, 2023 11:54 3m 43s
change notation for tests to ?' and composition to ;' CI #63: Commit 3cd19ae pushed by m4lvin
November 2, 2023 11:06 2m 39s main
main
November 2, 2023 11:06 2m 39s
PDL Tableau with an idea how to represent repeats in inductive types CI #62: Commit 8179499 pushed by m4lvin
November 1, 2023 15:15 2m 48s main
main
November 1, 2023 15:15 2m 48s
localRuleTruth: mostly boiler plate for non-star PDL rules CI #61: Commit 01c3a16 pushed by m4lvin
October 31, 2023 17:24 3m 15s main
main
October 31, 2023 17:24 3m 15s
Merge pull request #4 from m4lvin/bml-mathport CI #60: Commit e46a3c1 pushed by m4lvin
October 31, 2023 16:26 3m 16s main
main
October 31, 2023 16:26 3m 16s
Bml: resolve all remaining sorries in Partitions CI #59: Commit 8507273 pushed by m4lvin
October 31, 2023 16:19 3m 31s bml-mathport
bml-mathport
October 31, 2023 16:19 3m 31s
Bml: resolve a few sorries in Partitions CI #58: Commit 645e927 pushed by m4lvin
October 31, 2023 15:18 3m 1s bml-mathport
bml-mathport
October 31, 2023 15:18 3m 1s
Bml: resolve a few sorries in Partitions CI #57: Commit 357df10 pushed by m4lvin
October 31, 2023 12:03 3m 11s bml-mathport
bml-mathport
October 31, 2023 12:03 3m 11s
sorry-free Bml.Completeness CI #56: Commit b24c248 pushed by m4lvin
October 30, 2023 17:44 2m 45s bml-mathport
bml-mathport
October 30, 2023 17:44 2m 45s
add license CI #55: Commit 53df4cc pushed by m4lvin
October 30, 2023 17:10 3m 3s bml-mathport
bml-mathport
October 30, 2023 17:10 3m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-10-30 or the other filters available.