Skip to content

Actions: rkirov/category-theory-in-context-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
Update README with new writing approach Lean Action CI #26: Commit cae97fa pushed by rkirov
13m 7s main
main
13m 7s
readme.md update Lean Action CI #25: Commit efae298 pushed by rkirov
12m 32s main
main
12m 32s
Added solutions to section 1.1. there is an error(?) is section 1.2. … Lean Action CI #22: Commit e365ccb pushed by rkirov
13m 29s main
main
13m 29s
One sorry removed in 1.1 as an example Lean Action CI #19: Commit 0c3d7da pushed by rkirov
12m 59s solutions
solutions
12m 59s
Add section_1_4 and exercises. Lean Action CI #17: Commit 351c9de pushed by rkirov
12m 33s main
main
12m 33s
Add appendix and some examples for non-posetal categories. Lean Action CI #16: Commit 6a37d38 pushed by rkirov
12m 39s main
main
12m 39s
fix style Lean Action CI #15: Commit c177b91 pushed by rkirov
8m 27s main
main
8m 27s
update README Lean Action CI #14: Commit b94fd7d pushed by rkirov
7m 47s main
main
7m 47s
Add 1.3 exercises Lean Action CI #13: Commit b638fb1 pushed by rkirov
7m 19s main
main
7m 19s
Fix Opp category to use type synonym and add hom bifunctor Lean Action CI #12: Commit 178a7c8 pushed by rkirov
8m 13s main
main
8m 13s
more of 1_3 and some clean up in the rest. Lean Action CI #11: Commit ec10fc2 pushed by rkirov
8m 20s main
main
8m 20s
Add the Type Category Lean Action CI #10: Commit da359dd pushed by rkirov
12m 58s main
main
12m 58s
add section_1_3 partially Lean Action CI #9: Commit d45fe5e pushed by rkirov
8m 5s main
main
8m 5s
Clean up Section_1_2 with new notation Lean Action CI #8: Commit 1b442bf pushed by rkirov
8m 18s main
main
8m 18s
add notation for comp and some sorries in Section_1_1 Lean Action CI #7: Commit 838fe95 pushed by rkirov
8m 4s main
main
8m 4s
Add more documentation Lean Action CI #6: Commit 7f2015b pushed by rkirov
8m 11s main
main
8m 11s
Add Section_1_2 Lean Action CI #5: Commit 17ea612 pushed by rkirov
8m 3s main
main
8m 3s
Update README.md Lean Action CI #4: Commit dbcf863 pushed by rkirov
8m 24s main
main
8m 24s
clean up Lean Action CI #3: Commit 5ff306a pushed by rkirov
12m 0s main
main
12m 0s
update README Lean Action CI #2: Commit 3b89e5a pushed by rkirov
12m 11s main
main
12m 11s
Add license Lean Action CI #1: Commit cfb25d6 pushed by rkirov
12m 43s main
main
12m 43s