scientific article; zbMATH DE number 1479613
From MaRDI portal
Publication:4490725
zbMath0942.03504MaRDI QIDQ4490725
G. Kahn, Laurent Théry, Yves Bertot
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Encoding natural semantics in Coq ⋮ User interaction with the Matita proof assistant ⋮ A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs ⋮ Subformula linking for intuitionistic logic with application to type theory ⋮ CoqPIE: An IDE Aimed at Improving Proof Development Productivity
This page was built for publication:
