| 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} | meta-semantics/ | 25-Feb-2025 19:36 | Code zum Paper "Higher-Order Mathematical Operational Semantics" |
| bsc-files/ | 20-Apr-2025 13:25 | Bachelorarbeit |
| agda-stuff/ | 24-Apr-2025 02:21 | Agda Spielereien |
| ThProg-SS23/ | 24-Apr-2025 02:25 | ThProg Übung SS23 |
| ThProg-SS25/ | 25-Jul-2025 12:14 | ThProg Übung SS25 |
| swuv/ | 03-Aug-2025 15:23 | Seminar Wissenrepräsentation und -verarbeitung |
| elgot/ | 07-Oct-2025 14:18 | Code zum Paper "Uniform Elgot Iteration in Foundations" |
| fitch-editor/ | 18-Nov-2025 12:52 | |