Skip to content
Vinony

Interactive theorem proving and program development

by Yves Bertot

Cover of Interactive theorem proving and program development

No description available.

Automatic theorem provingComputer programmingCalculus of operationsProof theoryFormal languagesSoftware engineering