Reflecting proofs in first-order logic with equality

Item does not contain fulltex

D'emonstration Automatique en Th'eorie des Types

Item does not contain fulltext230 p

Deciding Equality in the Constructor Theory

Item does not contain fulltex

A Declarative Language for the Coq Proof Assistant

Item does not contain fulltex

Cooperative Repositories for Formal Proofs -- A Wiki-Based Solution

Item does not contain fulltex

A Real Semantic Web for Mathematics Deserves a Real Semantics

Contains fulltext : 72735.pdf (author's version ) (Open Access)SemWiki 2008, 2 juni 200