Skip to content

Actions: mortarsanjaya/IMOSLLean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 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
2006N4: Fix documentation generate documentation #64: Commit 62c9f56 pushed by mortarsanjaya
42m 13s main
main
42m 13s
2012A1: Typo fix generate documentation #63: Commit e759d30 pushed by mortarsanjaya
36m 38s main
main
36m 38s
2012A1: Generalize final statement generate documentation #62: Commit 49e7596 pushed by mortarsanjaya
29m 59s main
main
29m 59s
2012A1: Generalize a theorem generate documentation #61: Commit 07ad6f6 pushed by mortarsanjaya
44m 3s main
main
44m 3s
Fix update errors generate documentation #60: Commit 7501fab pushed by mortarsanjaya
47m 40s main
main
47m 40s
Update mathlib generate documentation #59: Commit d4f2ea8 pushed by mortarsanjaya
42m 37s main
main
42m 37s
Merge branch '2012A1_generalize' generate documentation #58: Commit 71f05a5 pushed by mortarsanjaya
13m 15s main
main
13m 15s
2007C3: Fix documentation generate documentation #57: Commit f60bfe5 pushed by mortarsanjaya
1h 45m 8s main
main
1h 45m 8s
2017A6: Weaken hypothesis in quotient mk generate documentation #56: Commit a8d56cc pushed by mortarsanjaya
42m 54s main
main
42m 54s
2012N8: Simplify proof generate documentation #55: Commit 409f279 pushed by mortarsanjaya
43m 0s main
main
43m 0s
Adopt module system generate documentation #54: Commit c240624 pushed by mortarsanjaya
42m 5s main
main
42m 5s
2025A1: Formalize generate documentation #53: Commit da03d44 pushed by mortarsanjaya
35m 0s main
main
35m 0s
2025N5: Generalize generate documentation #52: Commit a86dd12 pushed by mortarsanjaya
37m 26s main
main
37m 26s
2025N5: Fix a documentation error generate documentation #51: Commit cc8c69d pushed by mortarsanjaya
44m 56s main
main
44m 56s
Merge branch '2025N4' generate documentation #50: Commit 7742216 pushed by mortarsanjaya
43m 39s main
main
43m 39s
2025N5: Fix documentation generate documentation #49: Commit eee797d pushed by mortarsanjaya
45m 6s main
main
45m 6s
2025N5: Fix documentation generate documentation #48: Commit 9efb7d9 pushed by mortarsanjaya
43m 17s main
main
43m 17s
2025N5: Formalize generate documentation #47: Commit 6c50d57 pushed by mortarsanjaya
47m 15s main
main
47m 15s
Massive update generate documentation #46: Commit 6c3e0dc pushed by mortarsanjaya
44m 7s main
main
44m 7s
2024A1: Weaken an assumption generate documentation #45: Commit ad024a4 pushed by mortarsanjaya
9m 57s main
main
9m 57s
Rewrite some proofs generate documentation #44: Commit fe28771 pushed by mortarsanjaya
1h 58m 54s main
main
1h 58m 54s
Remove profiler generate documentation #43: Commit bfef1b4 pushed by mortarsanjaya
2h 6m 32s main
main
2h 6m 32s
More updates generate documentation #42: Commit ce5452a pushed by mortarsanjaya
2h 5m 10s main
main
2h 5m 10s
Update mathlib generate documentation #41: Commit 08663b6 pushed by mortarsanjaya
2h 2m 52s main
main
2h 2m 52s
Remove AntitoneConst generate documentation #40: Commit f3ac075 pushed by mortarsanjaya
1h 52m 46s main
main
1h 52m 46s