Skip to content

Actions: catskillsresearch/scott1972

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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
Record the Palomar registration and refresh the arXiv title page. Continuous Integration #23: Commit a198b6e pushed by catskillsresearch
2m 16s main
main
2m 16s
Add a Palomar registry badge linking the published entry. Continuous Integration #22: Commit 8d7d191 pushed by catskillsresearch
2m 20s main
main
2m 20s
Make ScottMap strict order explicit in the compared construction. Continuous Integration #21: Commit 278ba17 pushed by catskillsresearch
2m 21s main
main
2m 21s
Correct outer-continuity docstrings to name lattice Scott topologies. Continuous Integration #20: Commit 9ec11d2 pushed by catskillsresearch
11m 32s main
main
11m 32s
Compare definition values to catch Palomar instance-path mismatches. Continuous Integration #19: Commit 95f2a6a pushed by catskillsresearch
2m 0s main
main
2m 0s
Add Palomar preflight to catch Comparator failures locally. Continuous Integration #18: Commit b3b9e05 pushed by catskillsresearch
2m 9s main
main
2m 9s
Expose partial-order laws as Comparator proof targets. Continuous Integration #17: Commit cba8f7c pushed by catskillsresearch
2m 3s main
main
2m 3s
Make Challenge concrete for Palomar review and qualify historical cla… Continuous Integration #16: Commit 8cf670c pushed by catskillsresearch
1m 59s main
main
1m 59s
Pin compared Lean universes so Palomar Comparator accepts IsContinuou… Continuous Integration #15: Commit 0fe260b pushed by catskillsresearch
2m 31s main
main
2m 31s
Formalize Scott §4 with source-faithful topologies and proof route. Continuous Integration #14: Commit 41a7197 pushed by catskillsresearch
1m 59s main
main
1m 59s
State Theorem 4.4 as Scott wrote it and correct provenance. Continuous Integration #13: Commit d913cd6 pushed by catskillsresearch
1m 55s main
main
1m 55s
Package Scott 1972 for Palomar and bump Lean to v4.33.0. Continuous Integration #12: Commit 3807457 pushed by catskillsresearch
1m 55s main
main
1m 55s
Add Lean copyright headers and Zenodo deposit packaging. Continuous Integration #11: Commit 36bf01f pushed by catskillsresearch
2m 6s main
main
2m 6s
Update README with paper link Continuous Integration #10: Commit 5482386 pushed by catskillsresearch
2m 0s main
main
2m 0s
Update README with arXiv badge and build command Continuous Integration #9: Commit dc72801 pushed by catskillsresearch
2m 0s main
main
2m 0s
submitted Continuous Integration #8: Commit c7119af pushed by catskillsresearch
2m 27s main
main
2m 27s
Add arXiv submission packaging script. Continuous Integration #7: Commit 7d02e72 pushed by catskillsresearch
2m 30s main
main
2m 30s
Add arxiv.tex build pipeline for LaTeX export. Continuous Integration #6: Commit bf64047 pushed by catskillsresearch
2m 2s main
main
2m 2s
Add arxiv_with_code.md generator scripts. Continuous Integration #5: Commit 3b56801 pushed by catskillsresearch
2m 2s main
main
2m 2s
Add lake-manifest.json for reproducible CI builds. Continuous Integration #4: Commit a92bdcc pushed by catskillsresearch
2m 7s main
main
2m 7s
Add Part-specific arxiv.md split from domain_theory monolith. Continuous Integration #3: Commit 9650507 pushed by catskillsresearch
2m 10s main
main
2m 10s
Add CI workflow and Lean 4 build badge to README. Continuous Integration #2: Commit 16d7d8c pushed by catskillsresearch
2m 13s main
main
2m 13s
Initial import from domain_theory monolith split. Continuous Integration #1: Commit 6c0c86f pushed by catskillsresearch
2m 8s main
main
2m 8s