This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
a bezoar
a-bezoar.bsky.social
did:plc:wshklmgivhn2lyfljh67rtoe
you could just repost @lean-lang.org posts.
(Though they often screw up the links they post like in this case linking a page that includes the real link you want)
https://bsky.app/profile/lean-lang.org/post/3lvnybzwsn22k
[contains quote post or other embedded content]
2025-08-24T15:49:31.204Z