Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP). https://www.isa-afp.org/entries/UPF.shtml
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
Achim D. Brucker ae982dface Import of official AFP entry for Isabelle 2019. 3ヶ月前
.ci Import of official AFP entry for Isabelle 2019. 3ヶ月前
UPF Import of official AFP entry for Isabelle 2019. 3ヶ月前
CITATION Added publications. 2年前
LICENSE Initial commit. 3年前
README.md Fixed markdown. 1年前

README.md

The Unified Policy Framework (UPF)

This git repository contains a local mirror of The Unified Policy Framework (UPF) 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 UPF entry) at a later stage.

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/UPF.

Publications