Design of a proof assistant

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1103, Issue , 1996, Pages 153-

  Huet, Gérard ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); LOGIC PROGRAMMING; SEARCH ENGINES; USER INTERFACES;

ARCHITECTURAL DESIGN DECISIONS; COQ PROOF ASSISTANT; HIGHER-ORDER UNIFICATION; PROOF ASSISTANT; PROOF CHECKERS; SEQUENT CALCULUS; TYPE THEORY;

THEOREM PROVING;

EID: 84957696543     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61464-8_49     Document Type: Conference Paper

References (0)