This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
dan
danabra.mov
did:plc:fpruhuo22xkm5o7ttr2ktxdo
anybody learning Lean (beginner level) who wants to organize a study group together? i mean like a Discord channel or something. i plan to be going through "Mathematics in Lean" from the first chapter
2025-01-31T01:45:52.552Z