Skip to content

Actions: m4lvin/lean4-pdl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow run results
44 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

localRuleTruth - propositional part one direction, based on Bml code CI #51: Commit 3729471 pushed by m4lvin
October 29, 2023 18:12 1m 59s main
main
October 29, 2023 18:12 1m 59s
Bml: sorry-free soundness CI #50: Commit 1a173d6 pushed by m4lvin
October 29, 2023 17:11 2m 21s bml-mathport
bml-mathport
October 29, 2023 17:11 2m 21s
adjust type of lengthAdd CI #49: Commit f0652b9 pushed by m4lvin
October 29, 2023 16:52 1m 59s bml-mathport
bml-mathport
October 29, 2023 16:52 1m 59s
resolve sorry in lengthAdd using Finset.sum_insert CI #48: Commit f29a29d pushed by m4lvin
October 29, 2023 16:46 2m 26s bml-mathport
bml-mathport
October 29, 2023 16:46 2m 26s
work on Partitions - some sets of four cases-cases got mixed up CI #47: Commit a89f197 pushed by m4lvin
October 28, 2023 17:05 2m 2s bml-mathport
bml-mathport
October 28, 2023 17:05 2m 2s
work on Bml, resolving and adding sorries CI #46: Commit dd43b1c pushed by m4lvin
October 27, 2023 19:01 1m 59s bml-mathport
bml-mathport
October 27, 2023 19:01 1m 59s
Bml: Examples, Vocabulary, Soundness, Tableauexamples, Completeness CI #45: Commit 3277ef1 pushed by m4lvin
October 26, 2023 13:11 2m 3s bml-mathport
bml-mathport
October 26, 2023 13:11 2m 3s
Bml: work on Tableau CI #44: Commit fcfbb0b pushed by m4lvin
October 26, 2023 08:19 2m 19s bml-mathport
bml-mathport
October 26, 2023 08:19 2m 19s
Bml: Setsimp, Modelgraphs, Tableau CI #43: Commit 3bf6859 pushed by m4lvin
October 25, 2023 20:39 2m 11s bml-mathport
bml-mathport
October 25, 2023 20:39 2m 11s
Bml: Semantics CI #42: Commit 102cbda pushed by m4lvin
October 25, 2023 19:50 2m 19s bml-mathport
bml-mathport
October 25, 2023 19:50 2m 19s
add gitpod and devcontainer configs based on mathlib4 CI #41: Commit 6efd9ed pushed by m4lvin
October 25, 2023 07:42 2m 22s main
main
October 25, 2023 07:42 2m 22s
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