Commit Graph

10 Commits

Author SHA1 Message Date
bc8b5a8b6c
more gist
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m14s
2024-02-07 22:48:53 +01:00
f4d64527c4
fixed some typos; currying 2024-02-05 15:07:13 +01:00
c986475c77
gist for lectures 1-4
Some checks failed
Build latex and deploy / checkout (push) Failing after 1m4s
2024-01-23 21:52:45 +01:00
5beffa0067
test gist
Some checks failed
Build latex and deploy / checkout (push) Failing after 19m16s
2024-01-22 23:15:32 +01:00
415d12cf6a
gist test
All checks were successful
Build latex and deploy / checkout (push) Successful in 5m6s
2024-01-22 17:37:13 +01:00
62fcb59f94
tutorial 10 2024-01-09 20:23:57 +01:00
b636d722d4
Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory 2023-10-19 20:18:40 +02:00
fa19ca3b6e
small change 2023-10-19 20:18:32 +02:00
1713fec189
small changes 2023-10-19 17:08:56 +02:00
8359683da6
initial commit 2023-10-13 23:54:02 +02:00