Proof reflection in Coq

From MaRDI portal

Publication:1868509

Jump to:navigation, search

DOI10.1023/A:1021923116629zbMath1012.03018OpenAlexW1611906969MaRDI QIDQ1868509

Dimitri Hendriks

Publication date: 27 April 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021923116629

zbMATH Keywords

reflection first-order logic natural deduction Coq formalization of logical systems reduction relation on proof terms

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

A light-weight integration of automated and interactive theorem proving

Uses Software

Unnamed Item

This page was built for publication: Proof reflection in Coq

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