afp-mirror
/
Core_SC_DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
3 Commits 1 Branch 2 Tags 182 KiB
Isabelle 94.7%
TeX 3.2%
HTML 2.1%
Go to file
Achim D. Brucker c1d48e1e25 Initial commit. 2020-12-19 10:58:58 +00:00
.ci Initial commit. 2020-12-19 10:58:52 +00:00
Core_SC_DOM Initial commit. 2020-12-19 10:58:52 +00:00
LICENSE Initial commit. 2020-12-19 10:58:58 +00:00