There's also the "Featherweight Firefox" browser model in Coq http://www.the-inconsistency-principle.com/upenn//browser-model/ http://www.the-inconsistency-prin

There's also the "Featherweight Firefox" browser model in Coq http://www.the-inconsistency-principle.com/upenn//browser-model/ http://www.the-inconsistency-principle.com/upenn//browser-mo...