Search Results for 'Motivation-Background-Abstractsyntax-Primitiveinferences-Isabelle/isar:frameworkforhuman-Readableproofs-Proofcontext-Proofstructure-Commonaimsgeneric-Simplefoundations-Practicall'
Motivation-Background-Abstractsyntax-Primitiveinferences-Isabelle/isar:frameworkforhuman-Readableproofs-Proofcontext-Proofstructure-Commonaimsgeneric-Simplefoundations-Practicall published presentations and documents on DocSlides.