Skip to content

Actions: m4lvin/lean4-pdl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
740 workflow runs
740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

attempt at mOfBoxDagNode.isDec CI #114: Commit 79c696e pushed by m4lvin
December 18, 2023 16:54 2m 12s main
main
December 18, 2023 16:54 2m 12s
fix new sorries in Bml CI #113: Commit b849714 pushed by m4lvin
December 18, 2023 16:19 2m 14s main
main
December 18, 2023 16:19 2m 14s
[main]: use newer Lean and mathlib versions Codespaces Prebuilds #8: by github-codespaces bot
December 18, 2023 15:23 14m 11s
December 18, 2023 15:23 14m 11s
use newer Lean and mathlib versions CI #112: Commit 6109d61 pushed by m4lvin
December 18, 2023 15:19 2m 2s main
main
December 18, 2023 15:19 2m 2s
[main]: use newer Lean and mathlib versions Codespaces Prebuilds #7: by github-codespaces bot
December 18, 2023 15:19 8m 36s
December 18, 2023 15:19 8m 36s
Merge DagTab: use dagger tableaux instead of an unravel function CI #111: Commit cc9880c pushed by m4lvin
December 17, 2023 13:36 2m 0s main
main
December 17, 2023 13:36 2m 0s
[main]: Merge DagTab: use dagger tableaux instead of an unravel function Codespaces Prebuilds #6: by github-codespaces bot
December 17, 2023 13:36 8m 17s
December 17, 2023 13:36 8m 17s
prepare easy boxDagTab parts, continue notStarInvert CI #110: Commit 5164809 pushed by m4lvin
December 17, 2023 13:31 2m 1s DagTab
DagTab
December 17, 2023 13:31 2m 1s
prepare easy boxDagTab parts, continue notStarInvert CI #109: Commit 298f854 pushed by m4lvin
December 17, 2023 13:23 4m 31s DagTab
DagTab
December 17, 2023 13:23 4m 31s
add Bml readme CI #108: Commit 8ba174e pushed by m4lvin
December 17, 2023 11:14 1m 56s main
main
December 17, 2023 11:14 1m 56s
[main]: add Bml readme Codespaces Prebuilds #5: by github-codespaces bot
December 17, 2023 11:14 10m 10s
December 17, 2023 11:14 10m 10s
work on notStarInvert CI #107: Commit 036f499 pushed by m4lvin
December 17, 2023 11:12 2m 11s DagTab
DagTab
December 17, 2023 11:12 2m 11s
add small notes CI #106: Commit ab5a0e2 pushed by m4lvin
December 15, 2023 08:34 2m 2s DagTab
DagTab
December 15, 2023 08:34 2m 2s
skipping the Lemma 5, sort of CI #105: Commit 65c0301 pushed by m4lvin
December 13, 2023 19:55 2m 4s DagTab
DagTab
December 13, 2023 19:55 2m 4s
simple sorries in Tableau CI #104: Commit 2cbefa2 pushed by m4lvin
December 13, 2023 11:10 2m 4s DagTab
DagTab
December 13, 2023 11:10 2m 4s
solve DecidableEq, modulo Lean bug CI #103: Commit 5404586 pushed by m4lvin
December 13, 2023 10:04 2m 2s DagTab
DagTab
December 13, 2023 10:04 2m 2s
rewrite (Neg)DagFormula type to ensure all values contain a dagger CI #102: Commit 9105417 pushed by m4lvin
December 12, 2023 20:16 2m 3s DagTab
DagTab
December 12, 2023 20:16 2m 3s
actually switch from Unravel to DagTableau CI #101: Commit 6a49fd0 pushed by m4lvin
December 9, 2023 16:05 1m 57s DagTab
DagTab
December 9, 2023 16:05 1m 57s
actually switch from Unravel to DagTableau CI #100: Commit 70a3edb pushed by m4lvin
December 9, 2023 15:45 1m 57s DagTab
DagTab
December 9, 2023 15:45 1m 57s
finish trf.iff and trf.iff' CI #99: Commit fc7ca03 pushed by m4lvin
December 8, 2023 18:32 1m 56s DagTab
DagTab
December 8, 2023 18:32 1m 56s
clean up DagTab and Closure CI #98: Commit d34d1e9 pushed by m4lvin
December 7, 2023 17:45 1m 57s DagTab
DagTab
December 7, 2023 17:45 1m 57s
clean up DagTab and Closure CI #97: Commit 2c5ff57 pushed by m4lvin
December 7, 2023 17:37 1m 56s DagTab
DagTab
December 7, 2023 17:37 1m 56s
work on Closure CI #96: Commit a6781b4 pushed by m4lvin
December 7, 2023 16:03 2m 0s DagTab
DagTab
December 7, 2023 16:03 2m 0s
WIP ReflTrans DagTab closure + loading type idea CI #95: Commit 97e5058 pushed by m4lvin
December 5, 2023 22:00 1m 58s DagTab
DagTab
December 5, 2023 22:00 1m 58s
work on ; case CI #94: Commit 2931826 pushed by m4lvin
November 30, 2023 12:21 2m 0s DagTab
DagTab
November 30, 2023 12:21 2m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.