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