This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
code4math Community
code4math.org
did:plc:a4tiixue7idbjjgruflyvlga
Yaël Dillies will round out our first morning of presentations with Mathlib: Maintaining a monolith. Come join us Sep 8 as we learn about the new frontiers of formalizing mathematical proofs in Lean!
https://preview.scholarlattice.org/collections/5cc2bc74-14a7-4c27-8989-34ba88de9580/events
[contains quote post or other embedded content]
2025-09-04T16:25:35.812Z