Skip to content

Actions: kevinsullivan/DMT1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

final Lean Action CI #123: Commit ae46b9e pushed by kevinsullivan
1m 53s main
main
1m 53s
relations Lean Action CI #122: Commit c147fb8 pushed by kevinsullivan
1m 26s main
main
1m 26s
Exists sets relations Lean Action CI #121: Commit 8b6adbd pushed by kevinsullivan
1m 47s main
main
1m 47s
Update induction lecture Lean Action CI #120: Commit 6ed1134 pushed by kevinsullivan
1m 49s main
main
1m 49s
. Lean Action CI #119: Commit 7015f90 pushed by kevinsullivan
1m 48s main
main
1m 48s
Set and relation updates Lean Action CI #118: Commit bd9abbe pushed by kevinsullivan
1m 53s main
main
1m 53s
Editing, induction Lean Action CI #117: Commit f46ea79 pushed by kevinsullivan
1m 32s main
main
1m 32s
Adds sets and induction Lean Action CI #116: Commit 631858a pushed by kevinsullivan
2m 12s main
main
2m 12s
In class notes unedited, launch into Set theory, lower orbit, ready f… Lean Action CI #115: Commit f6fae46 pushed by kevinsullivan
2m 2s main
main
2m 2s
Update exam prep file Lean Action CI #114: Commit 2df0684 pushed by kevinsullivan
1m 36s main
main
1m 36s
Add homework exam prep predicate logic Lean Action CI #113: Commit 6a2ae71 pushed by kevinsullivan
2m 13s main
main
2m 13s
commit homework on exists Lean Action CI #112: Commit d88ca04 pushed by kevinsullivan
2m 7s main
main
2m 7s
Add curry howard lecture Lean Action CI #111: Commit 85693ae pushed by kevinsullivan
1m 46s main
main
1m 46s
Final version of midterm exam, for students Lean Action CI #110: Commit c8b2dfb pushed by kevinsullivan
1m 47s main
main
1m 47s
. Lean Action CI #109: Commit 9943b31 pushed by kevinsullivan
1m 50s main
main
1m 50s
. Lean Action CI #108: Commit 3480082 pushed by kevinsullivan
1m 40s main
main
1m 40s
After class before exam Lean Action CI #107: Commit e230061 pushed by kevinsullivan
1m 57s main
main
1m 57s
Updates after class 16102025 -- classical Lean Action CI #104: Commit 5da966e pushed by kevinsullivan
3m 55s main
main
3m 55s
Update file names, other edits Lean Action CI #103: Commit 889590d pushed by kevinsullivan
1m 31s main
main
1m 31s
. Lean Action CI #102: Commit 306f274 pushed by kevinsullivan
1m 48s main
main
1m 48s
. Lean Action CI #101: Commit 416a50e pushed by kevinsullivan
1m 43s main
main
1m 43s
editing Lean Action CI #100: Commit ffef11d pushed by kevinsullivan
1m 50s main
main
1m 50s
After class classical Lean Action CI #99: Commit 55a80d2 pushed by kevinsullivan
1m 38s main
main
1m 38s
Classical Lean Action CI #98: Commit da982a6 pushed by kevinsullivan
1m 45s main
main
1m 45s
. Lean Action CI #97: Commit 9127b9f pushed by kevinsullivan
1m 24s main
main
1m 24s