Skip to content

Actions: stepchowfun/proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
661 workflow runs
661 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #825 from stepchowfun/pi-calculus Continuous integration #5261: Commit 70bb7ae pushed by stepchowfun
8m 45s main
main
8m 45s
Formalize the pi calculus Continuous integration #5260: Pull request #825 synchronize by stepchowfun
8m 26s pi-calculus
pi-calculus
8m 26s
Formalize the pi calculus Continuous integration #5259: Pull request #825 synchronize by stepchowfun
8m 19s pi-calculus
pi-calculus
8m 19s
Formalize the pi calculus Continuous integration #5258: Pull request #825 synchronize by stepchowfun
9m 4s pi-calculus
pi-calculus
9m 4s
Formalize the pi calculus Continuous integration #5257: Pull request #825 opened by stepchowfun
8m 15s pi-calculus
pi-calculus
8m 15s
Merge pull request #824 from stepchowfun/copyright-year Continuous integration #5256: Commit 10fd468 pushed by stepchowfun
3m 8s main
main
3m 8s
Update the copyright year Continuous integration #5255: Pull request #824 opened by stepchowfun
3m 25s copyright-year
copyright-year
3m 25s
Merge pull request #823 from stepchowfun/type-not-signature Continuous integration #5254: Commit 579277a pushed by stepchowfun
8m 35s main
main
8m 35s
Add a better explanation of how to show the type of a function Continuous integration #5253: Pull request #823 opened by stepchowfun
8m 57s type-not-signature
type-not-signature
8m 57s
Merge pull request #822 from stepchowfun/grind Continuous integration #5252: Commit a6b80eb pushed by stepchowfun
8m 19s main
main
8m 19s
Show how to teach facts to grind Continuous integration #5251: Pull request #822 opened by stepchowfun
8m 20s grind
grind
8m 20s
Merge pull request #821 from stepchowfun/proof-irrelevance Continuous integration #5250: Commit 19e492b pushed by stepchowfun
8m 7s main
main
8m 7s
Explain proof irrelevance in the Lean tutorial Continuous integration #5249: Pull request #821 synchronize by stepchowfun
8m 11s proof-irrelevance
proof-irrelevance
8m 11s
Explain proof irrelevance in the Lean tutorial Continuous integration #5248: Pull request #821 synchronize by stepchowfun
8m 2s proof-irrelevance
proof-irrelevance
8m 2s
Explain proof irrelevance in the Lean tutorial Continuous integration #5247: Pull request #821 synchronize by stepchowfun
8m 0s proof-irrelevance
proof-irrelevance
8m 0s
Explain proof irrelevance in the Lean tutorial Continuous integration #5246: Pull request #821 synchronize by stepchowfun
8m 0s proof-irrelevance
proof-irrelevance
8m 0s
Explain proof irrelevance in the Lean tutorial Continuous integration #5245: Pull request #821 opened by stepchowfun
8m 1s proof-irrelevance
proof-irrelevance
8m 1s
Merge pull request #820 from stepchowfun/greek Continuous integration #5244: Commit def7dbf pushed by stepchowfun
7m 30s main
main
7m 30s
Use Greek letters in Lean Continuous integration #5243: Pull request #820 synchronize by stepchowfun
7m 52s greek
greek
7m 52s
Use Greek letters in Lean Continuous integration #5242: Pull request #820 opened by stepchowfun
7m 16s greek
greek
7m 16s
Merge pull request #819 from stepchowfun/case Continuous integration #5241: Commit 27e50d2 pushed by stepchowfun
8m 0s main
main
8m 0s
Fix some identifiers Continuous integration #5240: Pull request #819 synchronize by stepchowfun
7m 59s case
case
7m 59s
Fix some identifiers Continuous integration #5239: Pull request #819 synchronize by stepchowfun
2m 47s case
case
2m 47s
Fix some identifiers Continuous integration #5238: Pull request #819 opened by stepchowfun
8m 3s case
case
8m 3s
Merge pull request #818 from stepchowfun/lesson-5 Continuous integration #5237: Commit 03853d0 pushed by stepchowfun
8m 9s main
main
8m 9s