Skip to content

Actions: Arthur742Ramos/two-dimensional-lambda-calculus-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 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
Prepare unified naturality boundary submission and intake guide CI #10: Commit 7aa1f96 pushed by Arthur742Ramos
2m 11s main
main
2m 11s
Align shared matcher declarations and preflight extension identity CI #9: Commit e1992d4 pushed by Arthur742Ramos
2m 7s main
main
2m 7s
Prove unrestricted naturality refutation and add adequate typed syntax CI #8: Commit 2a89939 pushed by Arthur742Ramos
3m 2s main
main
3m 2s
Distinguish unproved counterexample status from a refutation CI #7: Commit 214a20d pushed by Arthur742Ramos
2m 54s main
main
2m 54s
Extend transport to finite presentations and clarify proof scope CI #6: Commit 0c92f50 pushed by Arthur742Ramos
1m 36s main
main
1m 36s
Compare the transport operation explicitly CI #5: Commit c911d5f pushed by Arthur742Ramos
1m 47s main
main
1m 47s
Add certified naturality and transport CI #4: Commit 32d380a pushed by Arthur742Ramos
2m 31s main
main
2m 31s
Declare NanoDa export axiom allowlist CI #3: Commit 7214a93 pushed by Arthur742Ramos
1m 54s main
main
1m 54s
Align Comparator replay with current Landrun CLI CI #2: Commit e95a3f7 pushed by Arthur742Ramos
1m 54s main
main
1m 54s
Formalize two-dimensional beta-eta separation CI #1: Commit 3c9b6ac pushed by Arthur742Ramos
1m 51s main
main
1m 51s