Open AccessCoq's Prolog and application to defining semi-automatic tactics
Author(s) -
Théo Zimmermann,
Hugo Herbelin
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - prolog , computer science , programming language , automation , proof assistant , simple (philosophy) , software engineering , mechanism (biology) , order (exchange) , engineering , mathematics , mathematical proof , mechanical engineering , philosophy , geometry , epistemology , finance , economics