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 Event

Filter by Status

Filter by Branch

Filter by Actor

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