▲ JSCert : a Trusted Mechanised JavaScript Specification at www.doc.ic.ac.uk▼1 up and 0 down, posted by echojs 4445 days ago discuss