Skip to content

Actions: YuvalFilmus/Exercises

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added another example Lean Action CI #23: Commit dc93b31 pushed by YuvalFilmus
1m 15s main
main
1m 15s
Small omission Lean Action CI #22: Commit 521923b pushed by YuvalFilmus
1m 22s main
main
1m 22s
Added the domino exercise Lean Action CI #21: Commit ba46f1b pushed by YuvalFilmus
1m 20s main
main
1m 20s
Added a file with the typeclasses examples Lean Action CI #20: Commit 1d6991d pushed by YuvalFilmus
1m 22s main
main
1m 22s
Change messes with solution... Lean Action CI #19: Commit 3ec8dbd pushed by YuvalFilmus
2m 6s main
main
2m 6s
Donedone Lean Action CI #18: Commit 5840a40 pushed by yonatan-reicher
1m 56s main
main
1m 56s
Update Lean Action CI #17: Commit acc4be0 pushed by yonatan-reicher
1m 15s main
main
1m 15s
Separate questions and anwsers for Week 2 Lean Action CI #16: Commit b39fe40 pushed by yonatan-reicher
1m 18s main
main
1m 18s
Update Week 2 Lean Action CI #15: Commit a128992 pushed by yonatan-reicher
1m 9s main
main
1m 9s
Fix typo Lean Action CI #14: Commit d74feba pushed by yonatan-reicher
1m 50s main
main
1m 50s
Working on Week2.lean Lean Action CI #13: Commit 5cf808c pushed by yonatan-reicher
2m 18s main
main
2m 18s
Add Week1 Lean Action CI #12: Commit cf4e547 pushed by yonatan-reicher
1m 40s main
main
1m 40s
More problems and more comments Lean Action CI #11: Commit 86859e7 pushed by yonatan-reicher
1m 58s main
main
1m 58s
One new problem Lean Action CI #10: Commit d3e3cb7 pushed by YuvalFilmus
1m 19s main
main
1m 19s
Two new problems Lean Action CI #9: Commit 5a7d412 pushed by YuvalFilmus
1m 52s main
main
1m 52s
Completed Infi1 Sheet1 Lean Action CI #8: Commit fd77761 pushed by YuvalFilmus
2m 4s main
main
2m 4s
Most of Infi1 Sheet1 Lean Action CI #7: Commit 70dd805 pushed by YuvalFilmus
3m 6s main
main
3m 6s
Update README.md Lean Action CI #6: Commit e3dc93d pushed by YuvalFilmus
2m 4s main
main
2m 4s
A few more exercises Lean Action CI #5: Commit 22a4904 pushed by YuvalFilmus
2m 47s main
main
2m 47s
Added some more exercises Lean Action CI #4: Commit 7072931 pushed by YuvalFilmus
2m 34s main
main
2m 34s
Some exercises on proof techniques Lean Action CI #3: Commit fe6b5b9 pushed by YuvalFilmus
2m 11s main
main
2m 11s
Exercises on connectives and quantifiers Lean Action CI #2: Commit 5a28b4d pushed by YuvalFilmus
2m 32s main
main
2m 32s
Create project Lean Action CI #1: Commit e6678b7 pushed by YuvalFilmus
2m 54s main
main
2m 54s