-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitmodules
More file actions
43 lines (43 loc) · 1.46 KB
/
Copy path.gitmodules
File metadata and controls
43 lines (43 loc) · 1.46 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
[submodule "plfa"]
path = plfa
url = https://github.com/nnarek/plfa_solutions
[submodule "csclub-coq-course-spring-2021"]
path = csclub-coq-course-spring-2021
url = https://github.com/nnarek/csclub-coq-course-spring-2021
[submodule "csc-cuda"]
path = csc-cuda
url = https://github.com/nnarek/csc-cuda
[submodule "bronze-qiskit"]
path = bronze-qiskit
url = https://github.com/nnarek/bronze-qiskit
[submodule "GPU-Puzzles"]
path = GPU-Puzzles
url = https://github.com/nnarek/GPU-Puzzles
[submodule "GlimpseOfLean"]
path = GlimpseOfLean
url = https://github.com/nnarek/GlimpseOfLean
[submodule "tutoriel_framac_wp"]
path = tutoriel_framac_wp
url = https://github.com/nnarek/tutoriel_framac_wp
[submodule "logical_verification_2024"]
path = logical_verification_2024
url = https://github.com/nnarek/logical_verification_2024
[submodule "mathematics_in_lean"]
path = mathematics_in_lean
url = https://github.com/nnarek/mathematics_in_lean
[submodule "arend-tutorial-code"]
path = arend-tutorial-code
url = https://github.com/nnarek/arend-tutorial-code
[submodule "HoTTEST-Summer-School"]
path = HoTTEST-Summer-School
url = https://github.com/nnarek/HoTTEST-Summer-School
[submodule "HTPILeanPackage"]
path = HTPILeanPackage
url = https://github.com/nnarek/HTPILeanPackage
[submodule "pnp-coq"]
path = pnp-coq
url = https://github.com/nnarek/pnp-coq
[submodule "learn-prolog-now"]
path = learn-prolog-now
url = https://github.com/nnarek/learn-prolog-now
branch = solutions