Skip to content

Actions: YuvalFilmus/Polymorphisms

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use choose Lean Action CI #22: Commit 5066d48 pushed by YuvalFilmus
3m 47s main
main
3m 47s
Adding helper functions Lean Action CI #21: Commit dbab2b7 pushed by YuvalFilmus
3m 22s main
main
3m 22s
Starting to get rid of range_0, range_1 Lean Action CI #20: Commit be9dfeb pushed by YuvalFilmus
3m 3s main
main
3m 3s
Simplified proof Lean Action CI #19: Commit 68dbe0a pushed by YuvalFilmus
2m 4s main
main
2m 4s
Formulated and proved Theorem 1.6 Lean Action CI #18: Commit 26e1acc pushed by YuvalFilmus
2m 28s main
main
2m 28s
Added results for the trivial cases Lean Action CI #17: Commit d2543f6 pushed by YuvalFilmus
1m 12s main
main
1m 12s
Update README.md Lean Action CI #16: Commit eaa18ed pushed by YuvalFilmus
1m 6s main
main
1m 6s
Finished atmost_m Lean Action CI #15: Commit bab9b91 pushed by YuvalFilmus
1m 51s main
main
1m 51s
Extracted "exists" Lean Action CI #14: Commit cb661d8 pushed by YuvalFilmus
1m 24s main
main
1m 24s
Finished reduction and rearranged files Lean Action CI #13: Commit fd44d7b pushed by YuvalFilmus
5m 14s main
main
5m 14s
New plan for reduction to I Lean Action CI #12: Commit be8ce3c pushed by YuvalFilmus
1m 23s main
main
1m 23s
Started atmost_m Lean Action CI #11: Commit a143a6d pushed by YuvalFilmus
1m 24s main
main
1m 24s
Finished parity Lean Action CI #10: Commit 92cb49d pushed by YuvalFilmus
1m 9s main
main
1m 9s
Continue work on parity Lean Action CI #9: Commit 88516bf pushed by YuvalFilmus
1m 28s main
main
1m 28s
Continue work Lean Action CI #8: Commit 4831a51 pushed by YuvalFilmus
1m 23s main
main
1m 23s
Completed atmost, started parity Lean Action CI #7: Commit ecd9a61 pushed by YuvalFilmus
1m 12s main
main
1m 12s
Completed the "def" parts Lean Action CI #6: Commit 7873d75 pushed by YuvalFilmus
1m 35s main
main
1m 35s
Toward classifying all polymorphisms of symmetric Boolean predicates,… Lean Action CI #5: Commit 071dfc0 pushed by YuvalFilmus
3m 24s main
main
3m 24s
Update README.md Lean Action CI #4: Commit 1163ffd pushed by YuvalFilmus
1m 9s main
main
1m 9s
Updated readme with NAE example Lean Action CI #3: Commit 285e76c pushed by YuvalFilmus
2m 33s main
main
2m 33s
Update README.md Lean Action CI #2: Commit 2fd8cd5 pushed by YuvalFilmus
1m 14s main
main
1m 14s
First finished version Lean Action CI #1: Commit d9f983b pushed by YuvalFilmus
3m 9s main
main
3m 9s