Skip to content

Actions: jessealama/cslib-urm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
319 workflow runs
319 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 straight-line final state helpers to reduce proof boilerplate Lean Action CI #319: Commit 68440bf pushed by jessealama
3m 5s main
main
3m 5s
Add straight-line final state helpers to reduce proof boilerplate Lean Action CI #318: Pull request #61 synchronize by jessealama
3m 13s code-simpliefier-straight-line-preservation
code-simpliefier-straight-line-preservation
3m 13s
Merge branch 'main' into code-simpliefier-straight-line-preservation Lean Action CI #317: Commit 55b3102 pushed by jessealama
3m 20s code-simpliefier-straight-line-preservation
code-simpliefier-straight-line-preservation
3m 20s
Replace simp; omega patterns with grind Lean Action CI #316: Commit 3c6cb42 pushed by jessealama
3m 19s main
main
3m 19s
Add straight-line final state helpers to reduce proof boilerplate Lean Action CI #315: Pull request #61 opened by jessealama
2m 31s code-simpliefier-straight-line-preservation
code-simpliefier-straight-line-preservation
2m 31s
Remove n-ary Partrec' equivalence for smaller PR (#60) Lean Action CI #314: Commit 448104b pushed by jessealama
1m 50s main
main
1m 50s
Remove n-ary Partrec' equivalence for smaller PR Lean Action CI #313: Pull request #60 opened by jessealama
2m 37s code-simplier-unified-register-layout
code-simplier-unified-register-layout
2m 37s
Remove n-ary Partrec' equivalence for smaller PR Lean Action CI #312: Commit b94de3d pushed by jessealama
2m 0s code-simplier-unified-register-layout
code-simplier-unified-register-layout
2m 0s
Replace simp; omega patterns with grind Lean Action CI #311: Pull request #59 opened by jessealama
2m 56s code-simpliefier-low-hanging-fruit
code-simpliefier-low-hanging-fruit
2m 56s
Add straight-line final state helpers to reduce proof boilerplate Lean Action CI #310: Commit 69d7827 pushed by jessealama
2m 43s code-simpliefier-straight-line-preservation
code-simpliefier-straight-line-preservation
2m 43s
Replace simp; omega patterns with grind Lean Action CI #309: Commit 3938672 pushed by jessealama
2m 47s code-simpliefier-low-hanging-fruit
code-simpliefier-low-hanging-fruit
2m 47s
Add grind annotations and simplify straight-line proofs Lean Action CI #308: Commit e289cc5 pushed by jessealama
3m 24s main
main
3m 24s
Replace split_ifs patterns with grind tactic (#58) Lean Action CI #307: Commit ee01a64 pushed by jessealama
3m 1s main
main
3m 1s
Replace split_ifs patterns with grind tactic Lean Action CI #306: Pull request #58 opened by jessealama
3m 7s grind-compression
grind-compression
3m 7s
Add straight-line composition lemmas for cleaner proofs Lean Action CI #305: Commit 80b33cc pushed by jessealama
4m 49s grind-compression
grind-compression
4m 49s
Add n-ary equivalence URMComputable ↔ Nat.Partrec' (#57) Lean Action CI #304: Commit 4bc23a4 pushed by jessealama
3m 43s main
main
3m 43s
Add n-ary equivalence URMComputable ↔ Nat.Partrec' Lean Action CI #303: Pull request #57 opened by jessealama
2m 47s feature/partrec-prime-equivalence
feature/partrec-prime-equivalence
2m 47s
Rename identifiers to follow Mathlib/CSLib naming conventions Lean Action CI #302: Commit fa479d7 pushed by jessealama
3m 12s feature/partrec-prime-equivalence
feature/partrec-prime-equivalence
3m 12s
Rename identifiers to follow Mathlib/CSLib naming conventions Lean Action CI #301: Commit fa479d7 pushed by jessealama
3m 22s feature/partrec-prime-equivalence
feature/partrec-prime-equivalence
3m 22s
Fill all sorries in PartrecPrime.lean for complete n-ary equivalence Lean Action CI #300: Commit 557a17e pushed by jessealama
13m 24s feature/partrec-prime-equivalence
feature/partrec-prime-equivalence
13m 24s
Add public API facade with selective exports Lean Action CI #299: Commit e6168d2 pushed by jessealama
3m 30s main
main
3m 30s
Add export statements and mark internal structures private Lean Action CI #298: Commit 9609036 pushed by jessealama
2m 30s main
main
2m 30s
Use section variables to reduce parameter repetition in Halting.lean Lean Action CI #297: Commit f84d29a pushed by jessealama
2m 24s main
main
2m 24s
Remove unnecessary maxHeartbeats settings from composition proofs Lean Action CI #296: Commit ad5d2a9 pushed by jessealama
2m 26s main
main
2m 26s
Remove plain text proofs Lean Action CI #295: Commit 07bcb1f pushed by jessealama
3m 10s main
main
3m 10s