---
title: "spiel"
url: https://vutuv.de/tags/spiel
type: tag
schema_version: 3
generated_at: 2026-10-18T17:05:03Z
---

# spiel

## Posts with this tag

- 2026-10-12: [Spielend Beweisen lernen mit Lean4](https://social.anoxinon.de/@gnulinux/117426652700792898)