spiel
=====

POSTS WITH THIS TAG
-------------------
* 2026-10-12: Spielend Beweisen lernen mit Lean4
  https://social.anoxinon.de/@gnulinux/117426652700792898

--
vutuv agent document · type: tag · schema_version: 3
generated_at: 2026-10-18T17:05:35Z
canonical: https://vutuv.de/tags/spiel