Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
This repository has been archived on 2020-12-18. You can view files and clone it, but cannot push or open issues or pull requests.
Go to file
Michael Herzberg f955f2fa56 Fixed long lines and simp lemmas without names. 2020-07-22 22:11:21 +01:00
.ci Initial commit. 2019-01-05 17:59:45 +00:00
Core_DOM Fixed long lines and simp lemmas without names. 2020-07-22 22:11:21 +01:00
.gitignore Enabled document generation. 2020-04-16 23:31:15 +01:00
CITATION Initial commit. 2018-12-25 16:35:09 +00:00
LICENSE Initial commit. 2018-12-25 15:01:57 +00:00
README.md Initial commit. 2018-12-25 17:51:00 +00:00

README.md

A Formal Model of the Document Object Model (Core_DOM)

This git repository contains a local mirror of A Formal Model of the Document Object Model entry of the Archive of Formal Proofs (AFP).

The official AFP releases are tagged. Additionally, this repository may contain extensions (i.e., a development version) that may be submitted (as an update of the Core_DOM entry) at a later stage.

How to build

isabelle build -d Core_DOM Core_DOM 

Authors

License

This project is licensed under a 3-clause BSD-style license.

SPDX-License-Identifier: BSD-3-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/afp-mirror/Core_DOM.

Publications