This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Jesse Alama
jessealama.net
did:plc:iqtcettaszdo4xpf7d5hqitt
TIL there's a JSON Schema validator for #lean at https://github.com/CAIMEOX/json-schema-lean It seems to be abandoned, though (no activity for a year).
2025-12-17T09:24:01.629Z