Isabelle Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software - Formal proof - Document - PDFSEARCH.IO

First Page	Meta Content
	Isabelle/Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software & Systems Engineering Institut f¨ Add to Reading List Open Document File Size: 1,82 MB Share Result on Facebook

Isabelle/Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software & Systems Engineering Institut f¨Add to Reading List