Skip to content

Actions: rhuid/prooflab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DSL description Lean Action CI #41: Commit e9900a9 pushed by rhuid
1m 40s main
main
1m 40s
small testing Lean Action CI #40: Commit 57cc53d pushed by rhuid
1m 53s main
main
1m 53s
skeleton of DSL added Lean Action CI #39: Commit b7eb461 pushed by rhuid
1m 42s main
main
1m 42s
small tweaks Lean Action CI #38: Commit ec3579a pushed by rhuid
1m 40s main
main
1m 40s
testing Lean Action CI #37: Commit 97b2ef8 pushed by rhuid
1m 43s main
main
1m 43s
slides update Lean Action CI #36: Commit af8151c pushed by rhuid
2m 3s main
main
2m 3s
presentation update Lean Action CI #35: Commit 2073e14 pushed by rhuid
2m 16s main
main
2m 16s
added resolution rule Lean Action CI #34: Commit 02d75c9 pushed by rhuid
32s main
main
32s
so close? Lean Action CI #33: Commit 3a3b15c pushed by rhuid
21s main
main
21s
so close Lean Action CI #32: Commit 2fb2c51 pushed by rhuid
18s main
main
18s
half complete proof Lean Action CI #31: Commit 669b988 pushed by rhuid
24s main
main
24s
another nice proof Lean Action CI #30: Commit 3a8cd4f pushed by rhuid
22s main
main
22s
more progress Lean Action CI #29: Commit 02464e0 pushed by rhuid
20s main
main
20s
more challenging proofs Lean Action CI #28: Commit ca53674 pushed by rhuid
28s main
main
28s
nice proof using classical logic Lean Action CI #27: Commit 0d5082d pushed by rhuid
20s main
main
20s
classical logic in existential quantifier Lean Action CI #26: Commit 8d21391 pushed by rhuid
22s main
main
22s
major reorganization Lean Action CI #25: Commit fc08ae3 pushed by rhuid
20s main
main
20s
existential quantification Lean Action CI #24: Commit 0d78e2a pushed by rhuid
25s main
main
25s
barber's paradox Lean Action CI #23: Commit eaf7f97 pushed by rhuid
31s main
main
31s
more universal quantifier proofs Lean Action CI #22: Commit c9139a9 pushed by rhuid
24s main
main
24s
new proposition Lean Action CI #21: Commit a336a23 pushed by rhuid
19s main
main
19s
universal quantifier Lean Action CI #20: Commit 5922889 pushed by rhuid
26s main
main
26s
renaming Lean Action CI #19: Commit b1256b0 pushed by rhuid
25s main
main
25s
one exercise complete Lean Action CI #18: Commit 526c445 pushed by rhuid
22s main
main
22s
more classical logic proofs Lean Action CI #17: Commit a202d73 pushed by rhuid
18s main
main
18s