Skip to content

Actions: stalex444/pdt-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add PdtPisotBoundary + PdtClock (the Version 5 artifacts) Build Lean project and deploy blueprint #12: Commit ad87718 pushed by stalex444
9m 15s main
main
9m 15s
Add PdtSymplectic: the dagger identity and the symplectic form (Fault… Build Lean project and deploy blueprint #11: Commit d7e1c31 pushed by stalex444
8m 43s main
main
8m 43s
Add Zenodo DOI badge and citation (concept DOI 10.5281/zenodo.21210683) Build Lean project and deploy blueprint #10: Commit a102b34 pushed by stalex444
7m 46s main
main
7m 46s
Convert Colab verifier from embedded mirror to clone-based Build Lean project and deploy blueprint #9: Commit 5e06df6 pushed by stalex444
3m 18s main
main
3m 18s
Add author ORCID to Zenodo metadata Build Lean project and deploy blueprint #8: Commit 2425e38 pushed by stalex444
7m 47s main
main
7m 47s
Harden repo: dissolve import islands, honest declaration accounting Build Lean project and deploy blueprint #7: Commit aba9c05 pushed by stalex444
7m 28s main
main
7m 28s
Revise quantum-kinematics wording across README, blueprint, docstring… Build Lean project and deploy blueprint #6: Commit ad28a53 pushed by stalex444
10m 36s main
main
10m 36s
Revise posit wording in README, blueprint, and Zenodo metadata Build Lean project and deploy blueprint #5: Commit 6b20772 pushed by stalex444
7m 41s main
main
7m 41s
Blueprint: one Lean declaration per statement; add dependency edges Build Lean project and deploy blueprint #4: Commit d250119 pushed by stalex444
9m 28s main
main
9m 28s
PDT-Lean: kernel-verified Lean 4 formalization of the PDT core Build Lean project and deploy blueprint #3: Commit fbeae03 pushed by stalex444
8m 57s main
main
8m 57s
PDT-Lean: kernel-verified Lean 4 formalization of the PDT core Build Lean project and deploy blueprint #1: Commit 78266ca pushed by stalex444
10m 55s main
main
10m 55s