This website works better with JavaScript.
Home
Help
Sign In
afp-mirror
/
Core_DOM
Watch
1
Star
0
Fork
1
Code
Issues
0
Pull Requests
0
Releases
4
Wiki
Activity
Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
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.
18
Commits
1
Branch
727 KiB
Isabelle
95.1%
TeX
2.9%
HTML
2%
Branch:
master
master
afp-current-Isabelle2021
afp-Core_DOM-current-Isabelle2020
afp-Core_DOM-current-Isabelle2019
afp-Core_DOM-current-Isabelle2018
Branches
Tags
${ item.name }
Create branch
${ searchTerm }
from 'master'
${ noResults }
Core_DOM
/
.ci
History
Achim D. Brucker
860651df99
Migration to Isabelle 2020.
10 months ago
..
Jenkinsfile
Migration to Isabelle 2020.
10 months ago