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