Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Geometry + Dynamics Heidelberg

What is a mathematical proof, and how can we represent it?
This was tackled in a student seminar at HEGL by working with Lean, a proof assistant used to create and verify proofs. In their blog post (tinyurl.com/4hdm2x25) you can find more details on Lean and Constructive Algebra.

Example of Lean Code showing a small mathematical proof
Mar 26, 2025, 03:23 PM·Public·Web
2boosts·0favorites
SearchLive feeds
About