D
avid
C
ock
This is an unofficial reimagining of the
Archive of Formal Proofs
2014
pGCL for Isabelle
by
David Cock
13 Jul