2026
an archive of posts from this year
| Jul 16, 2026 | Auto-formalization II: Now What? |
|---|---|
| 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
| Jul 16, 2026 | Auto-formalization II: Now What? |
|---|---|
| May 04, 2026 | Auto-formalization I: Keep Trying |
| Apr 25, 2026 | Wissenschaftskommunikation im Fediverse |
| Apr 16, 2026 | Bachelor- und Masterarbeiten |