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
lean
Follow from the Fediverse
Follow #lean from Mastodon or any other Fediverse app and its public posts arrive in your timeline. No vutuv account needed.
@lean@tags.vutuv.de
The most endorsed users with this tag
-
Barry Krein CTO / CIO @ Netdoktor GmbH
-
Mathias Schröder Agile Coach @ Kühne & Nagel (AG&Co.) KG
Posts with this tag
3 posts
Filters
freut sich, morgen nach #stuttgart zu fahren, um dann einen kurs von @NadjaBoehlmann@friends.librescrum.org zu besuchen 🎉
@michael_muench thats really cool, i am in. i guess with a session about some results of using #columinity @index@blog.columinity.com
and looking forward to attend with the @haufegroup@freiburg.social crew (again)
cc
@agile@fedigroups.social @micheal@social.cologne @karen@friends.librescrum.org @barryovereem@mastodon.social @christiaanverwijs@mastodon.social @derchristian@friends.librescrum.org