| Name | Leon Vatthauer |
| Studiengang | M. Sc. Informatik |
| Github | Reijix |
| Git | leonv |
|
|
| Discord | reijix |
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Description |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | ||
![[DIR]](/icons/folder.gif){kind=icon} | ThProg-SS23/ | 24-Apr-2025 02:25 | ThProg Übung SS23 |
| ThProg-SS25/ | 25-Jul-2025 12:14 | ThProg Übung SS25 |
| agda-stuff/ | 24-Apr-2025 02:21 | Agda Spielereien |
| bsc-files/ | 20-Apr-2025 13:25 | Bachelorarbeit |
| elgot/ | 16-May-2025 01:06 | Code zum Paper "Uniform Elgot Iteration in Foundations" |
| meta-semantics/ | 25-Feb-2025 19:36 | Code zum Paper "Higher-Order Mathematical Operational Semantics" |
| swuv/ | 03-Aug-2025 15:23 | Seminar Wissenrepräsentation und -verarbeitung |