scientific article
From MaRDI portal
Publication:3138833
zbMath0808.03007MaRDI QIDQ3138833
Publication date: 20 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Mtac: A monad for typed tactic programming in Coq, Reflection of formal tactics in a deductive reflection framework, Incorporating quotation and evaluation into Church's type theory, Reflection in conditional rewriting logic
Uses Software
