|
.vscode
|
works
|
2024-07-29 00:02:17 -05:00 |
|
.envrc
|
lecture 1
|
2024-07-29 10:31:49 -05:00 |
|
.gitignore
|
update
|
2024-07-29 14:39:10 -05:00 |
|
category_theory_exercises.v
|
category theory
|
2024-08-01 17:56:54 -05:00 |
|
coq_exercises.v
|
exercises
|
2024-07-29 17:45:35 -05:00 |
|
Exercises1.agda
|
lecture 5
|
2024-08-01 10:32:27 -05:00 |
|
Exercises1.v
|
exercises
|
2024-07-29 17:45:35 -05:00 |
|
exercises_tactics.v
|
lecture 5
|
2024-08-01 10:32:27 -05:00 |
|
fibration.jpeg
|
lecture 5
|
2024-08-01 10:32:27 -05:00 |
|
flake.lock
|
initial
|
2024-07-28 17:58:42 -05:00 |
|
flake.nix
|
works
|
2024-07-29 00:02:17 -05:00 |
|
fundamentals_lecture.v
|
exercises
|
2024-07-29 17:45:35 -05:00 |
|
Lecture1.typ
|
lecture 5
|
2024-08-01 10:32:27 -05:00 |
|
Lecture2.typ
|
update
|
2024-07-29 14:39:10 -05:00 |
|
Lecture3.typ
|
lecture 5
|
2024-08-01 10:32:27 -05:00 |
|
Lecture5.typ
|
category theory
|
2024-08-01 17:56:54 -05:00 |
|
Lecture6.typ
|
category theory
|
2024-08-01 17:56:54 -05:00 |
|
Lecture7.typ
|
lecture 7
|
2024-08-02 10:35:50 -05:00 |
|
Lol.agda
|
category theory
|
2024-08-01 17:56:54 -05:00 |
|
prooftree.typ
|
lecture 1
|
2024-07-29 10:31:49 -05:00 |
|
set_level_mathematics_exercises.v
|
category theory
|
2024-08-01 17:56:54 -05:00 |
|
tactics_lecture_extended.v
|
category theory
|
2024-08-01 17:56:54 -05:00 |
|
Test.v
|
lecture 1
|
2024-07-29 10:31:49 -05:00 |
|
unimath2024.agda-lib
|
exercises
|
2024-07-29 17:45:35 -05:00 |
|
winding.jpeg
|
lecture 7
|
2024-08-02 10:35:50 -05:00 |
