Special issue: Formal proof

DOI10.1023/A:1017202010519zbMath0937.00019MaRDI QIDQ1961912

No author found.

Publication date: 18 May 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

Special issueNQTHMMizarCoqHOLIsabelleLEGOFormal proof

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Uses Software

• Mizar
• NQTHM
• LEGO
• Unnamed Item
• Unnamed Item

This page was built for publication: Special issue: Formal proof