Open AccessHigher Order Proof Engineering: Proof Collaboration, Transformation, Checking and Retrieval
Author(s) -
Shuai Wang
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - mathematical proof , proof complexity , automated theorem proving , computer science , proof assistant , computer assisted proof , structural proof theory , transformation (genetics) , formal proof , proof of concept , proof theory , automated proof checking , theoretical computer science , programming language , mathematics , biochemistry , chemistry , geometry , gene , operating system