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

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
Update README.md CI #54: Commit 61f1d86 pushed by m4lvin
October 30, 2023 17:08 2m 29s main
main
October 30, 2023 17:08 2m 29s
Bml: compile it all (but still with sorries - is that a word?) CI #53: Commit a67849b pushed by m4lvin
October 30, 2023 16:49 3m 13s bml-mathport
bml-mathport
October 30, 2023 16:49 3m 13s
Bml: compile it all (but still with sorries - is that a word?) CI #52: Commit ccd6afc pushed by m4lvin
October 30, 2023 16:49 1m 14s bml-mathport
bml-mathport
October 30, 2023 16:49 1m 14s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-25 or the other filters available.