scientific article

zbMath1270.68262MaRDI QIDQ2844812

David Delahaye

Publication date: 19 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805085

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Automatically proving equivalence by type-safe reflection ⋮ Crystal: Integrating structured queries into a tactic language

Uses Software

• Coq
• ML
• OCaml
• LCF
• Camlp4

This page was built for publication: