Open AccessThe logics of double proof in proof of concept: a design theory-based model of experimentation in the unknown
Author(s) -
Caroline Jobin,
Sophie Hooge,
Pascal Le Masson
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - structural proof theory , proof theory , proof of concept , computer science , proof complexity , computer assisted proof , burden of proof , calculus (dental) , theoretical computer science , mathematical proof , mathematics , automated theorem proving , law , political science , medicine , geometry , dentistry , operating system