This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
aron
adler.dev
did:plc:rmplvmo2uq2mlth23rqhgcvx
starting session 6 of learning lean with @yetanotheruseless.com in 1 hour!
last week we defined groups, got deep into what makes a value an identity, and started defining homomorphisms 🌈
today we're going to flesh out homomorphisms further and start proving some theorems about groups 👨👩👧👦
[contains quote post or other embedded content]
2026-07-08T18:03:53.038Z