Spielend Beweisen lernen mit Lean4
In diesem Artikel geht es um die Programmiersprache Lean, die es erlaubt, mathematische Beweise zu führen, und ein Spiel, welches dabei helfen kann, Lean zu lernen.
#Mathematik #Beweis #Lean #Spiel #Linux
spiel
Follow from the Fediverse
Follow #spiel from Mastodon or any other Fediverse app and its public posts arrive in your timeline. No vutuv account needed.
@spiel@tags.vutuv.de
Posts with this tag
1 post
Filters