| Tutorial | Link |
|---|---|
| Isabelle/HOL | https://github.com/active-group/tutorialtag-2024-isabelle |
| DDD vs. FP | https://github.com/active-group/tutorialtag-2024-ddd-fp |
| Daten in Clojure | https://github.com/active-group/tutorialtag-2024-daten-in-clojure |
active-group/tutorialtag-2024
Sammel-Repository für Themen des Tutorialtags der Active Group am 18.04.2024
Nix