Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
 
 
 
Achim D. Brucker 7d24b81b90 Added BibTeX entry for AFP. il y a 3 mois
.ci Migration to Isabelle 2020. il y a 10 mois
Core_DOM Imported changes from AFP devel as of 2020-12-02. il y a 3 mois
CITATION Added BibTeX entry for AFP. il y a 3 mois
LICENSE Initial commit. il y a 2 ans
README.md Improved markdown. il y a 3 mois

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

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