This website works better with JavaScript.
Home
Help
Sign In
afp-mirror
/
UPF
Watch
1
Star
0
Fork
0
Code
Issues
0
Pull Requests
0
Releases
10
Wiki
Activity
Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).
https://www.isa-afp.org/entries/UPF.shtml
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20
Commits
1
Branch
385 KiB
Isabelle
77.9%
TeX
21.6%
Emacs Lisp
0.4%
Branch:
master
master
afp-UPF-2015-05-27
afp-UPF-2015-01-28
afp-UPF-2014-11-30
afp-current-Isabelle2021
afp-UPF-current-Isabelle2020
afp-UPF-current-Isabelle2019
afp-UPF-current-Isabelle2018
afp-UPF-current-Isabelle2017
afp-UPF-current-Isabelle2016-1
afp-UPF-current-Isabelle2016
Branches
Tags
${ item.name }
Create branch
${ searchTerm }
from 'master'
${ noResults }
UPF
/
.ci
History
Achim D. Brucker
5a35bc7ca0
Migration to Isabelle 2020.
10 months ago
..
Jenkinsfile
Migration to Isabelle 2020.
10 months ago