A Deep Embedding of Z_C in Isabelle/HOL (2001)

by Norbert Völker
Citations:1 - 1 self