The higher-order-logic Formath

zbMath1168.03007MaRDI QIDQ935562

Pieter Audenaert

Publication date: 11 August 2008

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bbms/1210254829

zbMATH Keywords

higher-order logicautomated theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Uses Software

• ACL2
• PVS
• HOL
• HOL Light

This page was built for publication: The higher-order-logic Formath