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.
Ce dépôt est archivé. Vous pouvez voir les fichiers et le cloner, mais vous ne pouvez pas pousser ni ouvrir de ticket/demande d'ajout.
 
 
 
Michael Herzberg f955f2fa56 Fixed long lines and simp lemmas without names. il y a 6 mois
.ci Initial commit. il y a 2 ans
Core_DOM Fixed long lines and simp lemmas without names. il y a 6 mois
.gitignore Enabled document generation. il y a 9 mois
CITATION Initial commit. il y a 2 ans
LICENSE Initial commit. il y a 2 ans
README.md Initial commit. il y a 2 ans

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