This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Jan Marthedal Rasmussen
janmr.com
did:plc:vu6qczmz4fwvt5hylbxjlcd6
Lean: First Steps https://leanfirststeps.blogspot.com/p/contents.html #lean #math
2024-11-26T12:55:05.247Z