Skip to content

Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).

License

Notifications You must be signed in to change notification settings

logicalhacking/Core_DOM

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
May 23, 2020
Dec 18, 2020
Dec 19, 2020
Dec 25, 2018
Dec 19, 2020

Repository files navigation

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

achim@logicalhacking:~$ isabelle build -D 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

About

Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).

Resources

License

Citation

Stars

Watchers

Forks

Packages

No packages published