Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
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.
 
 
 
Achim D. Brucker 90488e71d0 Initial commit. 10 months ago
..
common Initial import from AFP. 10 months ago
document Initial import from AFP. 10 months ago
safely_composable Initial import from AFP. 10 months ago
CITATION Initial import from AFP. 10 months ago
ROOT Initial commit. 10 months ago