Skip to content

Actions: rdavison/lean-katas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
example : (∀ x, p x → r) ↔ (∃ x, p x) → r Lean Action CI #21: Commit cfb747c pushed by rdavison
4s main
main
4s
example : (¬ ∀ x, p x) ↔ (∃ x, ¬ p x) Lean Action CI #20: Commit 9656130 pushed by rdavison
3s main
main
3s
example : (¬ ∃ x, p x) ↔ (∀ x, ¬ p x) Lean Action CI #19: Commit cf9fcbb pushed by rdavison
3s main
main
3s
example : (∃ x, p x) ↔ ¬ (∀ x, ¬ p x) Lean Action CI #18: Commit 3740233 pushed by rdavison
4s main
main
4s
cleanup Lean Action CI #17: Commit d081cc5 pushed by rdavison
4s main
main
4s
example : (∀ x, p x) ↔ ¬ (∃ x, ¬ p x) Lean Action CI #16: Commit 87137ba pushed by rdavison
4s main
main
4s
example : (∃ x, p x ∧ r) ↔ (∃ x, p x) ∧ r Lean Action CI #15: Commit 1e054d4 pushed by rdavison
11s main
main
11s
cleanup Lean Action CI #14: Commit 3e982c9 pushed by rdavison
4s main
main
4s
example : (∃ x : α, r) → r Lean Action CI #13: Commit a4bc327 pushed by rdavison
4s main
main
4s
uh... Lean Action CI #12: Commit e697b47 pushed by rdavison
10s main
main
10s
example (h : ∀ x : man, shaves barber x ↔ ¬ shaves x x) : False Lean Action CI #11: Commit d18d8b8 pushed by rdavison
4s main
main
4s
example : (∀ x, r → p x) ↔ (r → ∀ x, p x) Lean Action CI #10: Commit d872d54 pushed by rdavison
4s main
main
4s
example : (∀ x, p x ∨ r) ↔ (∀ x, p x) ∨ r Lean Action CI #9: Commit b46b7af pushed by rdavison
9s main
main
9s
fix comment placement Lean Action CI #8: Commit af17897 pushed by rdavison
5s main
main
5s
add comment Lean Action CI #7: Commit a800fe1 pushed by rdavison
4s main
main
4s
example : ¬(p ↔ ¬p) Lean Action CI #6: Commit 9f91b95 pushed by rdavison
5s main
main
5s
example : (((p → q) → p) → p) Lean Action CI #5: Commit cca91b6 pushed by rdavison
4s main
main
4s
example : (¬q → ¬p) → (p → q) Lean Action CI #4: Commit 46f6e85 pushed by rdavison
6s main
main
6s
example : (p → q) → (¬p ∨ q) Lean Action CI #3: Commit ade3d37 pushed by rdavison
11s main
main
11s
Organization Lean Action CI #2: Commit 1e13ccb pushed by rdavison
11s main
main
11s
Fiat lux Lean Action CI #1: Commit 8632103 pushed by rdavison
5s main
main
5s