Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ramos, Marcus Vinicius Midena"'
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in order to
Externí odkaz:
http://arxiv.org/abs/1505.00061
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in Augu