2026
an archive of posts from this year
| May 04, 2026 | Auto-formalization I: Keep Trying |
|---|---|
| Apr 25, 2026 | Wissenschaftskommunikation im Fediverse |
| Apr 16, 2026 | Bachelor- und Masterarbeiten |
an archive of posts from this year
| May 04, 2026 | Auto-formalization I: Keep Trying |
|---|---|
| Apr 25, 2026 | Wissenschaftskommunikation im Fediverse |
| Apr 16, 2026 | Bachelor- und Masterarbeiten |