Mathematical Knowledge Management
From MaRDI portal
Publication:5313072
DOI10.1007/b100478zbMath1108.68601OpenAlexW4234388457MaRDI QIDQ5313072
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100478
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Mtac: A monad for typed tactic programming in Coq ⋮ User interaction with the Matita proof assistant ⋮ An Interactive Driver for Goal-directed Proof Strategies ⋮ A compact kernel for the calculus of inductive constructions ⋮ Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I
This page was built for publication: Mathematical Knowledge Management
