Report - ProgrammingandProvingin Isabelle/HOL · PDF fileRoughly speaking, a theory is a named collection of types, functions, and theorems, much like a module in a programming language. All

Please pass captcha verification before submit form