This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Pietro Monticone
pietromonticone.bsky.social
did:plc:m5eua3hg4ogz4uw44wqmu3em
Mathematics @UniTrento || Formalising in @LeanProver || Developing #FOSS in @JuliaLanguage || Modelling @In_Phy_T || Forecasting @Metaculus || Reading @Goodreads.
• GitHub: https://github.com/pitmonticone
• YouTube: https://www.youtube.com/@PietroMonticon