Propositional Calculus in Coq

From MaRDI portal

Publication:6260425

Jump to:navigation, search

arXiv1503.08744MaRDI QIDQ6260425

Floris van Doorn

Publication date: 30 March 2015

This page was built for publication: Propositional Calculus in Coq

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6260425&oldid=35804343"